An algorithmic mitigation of large spurious interprocedural cycles in static analysis.

Hakjoo Oh Kwangkeun Yi

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

Keyphrases

static analysis
dynamic analysis
source code
malicious code
java card
symbolic execution
regular expressions
risk management
abstract interpretation
real world
test suite
artificial intelligence
open source
software development