Pesticide: Using SMT Processors to Improve Performance of Pointer Bug Detection.

Jin-Yi Wang Yen-Shiang Shue T. N. Vijaykumar Saurabh Bagchi

Published in: ICCD (2006)

Keyphrases

object detection
parallel algorithm
data structure
automatic detection
database
source code
anomaly detection
detection method
false positives
machine learning
scheduling problem
language model
detection rate
detection accuracy