Static Analysis of File Manipulation Scripts.

Rodney Rodriguez Xiaoyin Wang

Published in: PRDC (2019)

Keyphrases

static analysis
dynamic analysis
source code
java card
malicious code
symbolic execution
abstract interpretation
api calls
file system
regular expressions
database
test generation
test suite
case study