Structurally Defined Conditional Data-Flow Static Analysis.

Elena Sherman Matthew B. Dwyer

Published in: TACAS (2) (2018)

Keyphrases

data flow
static analysis
symbolic execution
dynamic analysis
source code
java card
control flow
database machine
object oriented software
malicious code
digital signal processing
data transfer
test generation
high level
artificial intelligence
regular expressions
database systems
abstract interpretation