Static Race Detection and Mutex Safety and Liveness for Go Programs.

Julia Gabet Nobuko Yoshida

Published in: ECOOP (2020)

Keyphrases

false positives
automatic detection
anomaly detection
detection method
detection algorithm
detection rate
false alarms
detection accuracy
digital images
change detection
target detection
fixpoint