Login / Signup

Interprocedural Static Analysis for Finding Bugs in Go Programs.

I. V. BolotnikovA. E. Borodin
Published in: Program. Comput. Softw. (2021)
Keyphrases
  • static analysis
  • symbolic execution
  • source code
  • dynamic analysis
  • abstract interpretation
  • test generation
  • java card
  • malicious code
  • open source
  • regular expressions
  • real world
  • learning algorithm
  • software systems