Sharpening global static analysis to cope with Java.

Sara Porat Bilha Mendelson Irina Shapira

Published in: CASCON (1998)

Keyphrases

static analysis
source code
java card
dynamic analysis
open source
regular expressions
abstract interpretation
programming language
digital images
edge detection
java programs
malicious code
software engineering
feature space
case study
databases
test case generation
data sets