BigFoot: static check placement for dynamic race detection.

Dustin Rhodes Cormac Flanagan Stephen N. Freund

Published in: PLDI (2017)

Keyphrases

false alarms
automatic detection
false positives
dynamic analysis
dynamic environments
detection rate
anomaly detection
detection method
search engine
multi class
video data
change detection
object detection
multiscale
error correction
detection accuracy
data mining
automated detection
dynamic constraints