A new 277k-binary data-flow benchmark shows existing static analyzers are inaccurate, and three angr extensions raise recall from 0.39 to 0.99 and precision from 0.13 to 0.32.
Undecidability of context-sensitive data-independence analysis,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
background 1
citation-polarity summary
fields
cs.CR 1years
2025 1verdicts
CONDITIONAL 1roles
background 1polarities
unclear 1representative citing papers
citing papers explorer
-
Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables
A new 277k-binary data-flow benchmark shows existing static analyzers are inaccurate, and three angr extensions raise recall from 0.39 to 0.99 and precision from 0.13 to 0.32.