: configurable static analysis tool in Eclipse.

Makarand Gawade K. Ravikanth Sanjeev Aggarwal

Published in: Softw. Pract. Exp. (2014)

Keyphrases

static analysis
source code
dynamic analysis
open source
malicious code
symbolic execution
java card
software projects
real world
abstract interpretation
test set
data mining
database
regular expressions
data integration
database systems
high level