Reducing Static Analysis Unsoundness with Approximate Interpretation.

Mathias Rud Laursen Wenyuan Xu Anders Møller

Published in: Proc. ACM Program. Lang. (2024)

Keyphrases

static analysis
dynamic analysis
source code
java card
malicious code
symbolic execution
abstract interpretation
regular expressions
test suite
open source