Sign in

PhASAR: An Inter-procedural Static Analysis Framework for C/C++.

Philipp Dominik SchubertBen HermannEric Bodden
Published in: TACAS (2) (2019)
Keyphrases
  • static analysis
  • dynamic analysis
  • artificial intelligence
  • case study
  • main contribution