Sign in

Deriving Modernity Signatures for PHP Systems with Static Analysis.

Wouter Van den BrinkMarcus GerholdVadim Zaytsev
Published in: SCAM (2022)
Keyphrases
  • static analysis
  • dynamic analysis
  • open source
  • abstract interpretation
  • web applications
  • symbolic execution
  • termination analysis