Post from 2025-06-29 16:43:49

[RSS] BinDSA: Efficient, Precise Binary-Level Pointer Analysis with Context-Sensitive Heap Reconstruction

https://dl.acm.org/doi/10.1145/3728928