Program Sifting: Select Property-Related Functions for Language-Based Static Analysis.

Kai Yu Cong Wang Yin-li Chen Mengxiang Lin

Published in: APSEC (2009)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
regular expressions
malicious code
java card
test generation
abstract interpretation
programming language
language learning
software engineering
functional language
specification language
programming environment
test suite
third party
data sets