Deriving Modernity Signatures for PHP Systems with Static Analysis.

Wouter Van den Brink Marcus Gerhold Vadim Zaytsev

Published in: SCAM (2022)

Keyphrases

static analysis
dynamic analysis
open source
abstract interpretation
web applications
symbolic execution
termination analysis