Login / Signup

All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask).

Edward J. SchwartzThanassis AvgerinosDavid Brumley
Published in: IEEE Symposium on Security and Privacy (2010)
Keyphrases
  • static analysis
  • symbolic execution
  • databases
  • high level
  • database systems
  • data model
  • security policies