Explaining Static Analysis With Rule Graphs.

Lisa Nguyen Quang Do Eric Bodden

Published in: IEEE Trans. Software Eng. (2022)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
malicious code
graph matching
abstract interpretation
java card
graph mining
test generation
regular expressions
open source
test suite
data sets
weighted graph
graph theory
directed graph
case study