An Approach to Merge Results of Multiple Static Analysis Tools (Short Paper).

Na Meng Qianxiang Wang Qian Wu Hong Mei

Published in: QSIC (2008)

Keyphrases

static analysis
dynamic analysis
source code
java card
malicious code
knowledge base
regular expressions
symbolic execution