Efficient Incremental Static Analysis Using Path Abstraction.

Rashmi Mudduluru Murali Krishna Ramanathan

Published in: FASE (2014)

Keyphrases

static analysis
efficient incremental
traversal patterns
dynamic analysis
source code
malicious code
high level
regular expressions
symbolic execution
open source
shortest path
materialized views
java card
test generation
reverse engineering
databases
database
decision support