An Empirical Study of Static Analysis Tools for Secure Code Review.

Wachiraphan Charoenwet Patanamon Thongtanunam Van-Thuan Pham Christoph Treude

Published in: CoRR (2024)

Keyphrases

static analysis
source code
dynamic analysis
malicious code
symbolic execution
regular expressions
java card
program understanding
test generation
object oriented systems
abstract interpretation
artificial intelligence
open source
software systems
smart card
test suite