Login / Signup

Static Analysis of Mega-Programs.

Daniel Weise
Published in: SAS (1999)
Keyphrases
  • static analysis
  • symbolic execution
  • dynamic analysis
  • abstract interpretation
  • source code
  • test generation
  • malicious code
  • regular expressions
  • test suite
  • api calls
  • case study
  • reverse engineering
  • control flow
  • java card