ViolationTracker: Building Precise Histories for Static Analysis Violations | IEEE Conference Publication | IEEE Xplore