Login / Signup

Using targeted symbolic execution for reducing false-positives in dataflow analysis.

Steven ArztSiegfried RasthoferRobert HahnEric Bodden
Published in: SOAP@PLDI (2015)
Keyphrases
  • false positives
  • symbolic execution
  • false positive rate
  • false negative
  • number of false positives
  • static analysis
  • neural network
  • database systems
  • open source
  • test data generation