Unveiling the Power of Intermediate Representations for Static Analysis: A Survey.

Bowen Zhang Wei Chen Hung-Chun Chiu Charles Zhang

Published in: CoRR (2024)

Keyphrases

static analysis
intermediate representations
dynamic analysis
symbolic execution
source code
structured learning
intermediate representation
abstract interpretation
regular expressions
high level
test suite
data sets
visual features