Login / Signup

Customizing Static Analysis using Codesearch.

Avi HayounVeselin RaychevJack Hair
Published in: CoRR (2024)
Keyphrases
  • static analysis
  • dynamic analysis
  • source code
  • regular expressions
  • malicious code
  • symbolic execution
  • open source
  • abstract interpretation
  • databases
  • test generation
  • java card
  • decision trees
  • test suite