JRed: Program Customization and Bloatware Mitigation Based on Static Analysis.

Yufei Jiang Dinghao Wu Peng Liu

Published in: COMPSAC (2016)

Keyphrases

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