An empirical study on the effectiveness of static C code analyzers for vulnerability detection.

Stephan Lipp Sebastian Banescu Alexander Pretschner

Published in: ISSTA (2022)

Keyphrases

source code
object detection
false alarms
detection algorithm
detection method
automatic detection
case study
vehicle detection
dynamic analysis
data mining
website
image sequences
hidden markov models
false positives
error detection