A Survey of Parametric Static Analysis.

Jihyeok Park Hongki Lee Sukyoung Ryu

Published in: ACM Comput. Surv. (2022)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
java card
malicious code
test generation
regular expressions
parametric models
test suite
knowledge base
case study
open source
software development
model checking
reverse engineering