Login / Signup

SootUp: A Redesign of the Soot Static Analysis Framework.

Kadiray KarakayaStefan SchottJonas KlaukeEric BoddenMarkus SchmidtLinghui LuoDongjie He
Published in: TACAS (1) (2024)
Keyphrases
  • static analysis
  • dynamic analysis
  • artificial intelligence
  • probabilistic model
  • abstract interpretation
  • database
  • knowledge base
  • web services
  • test suite