Data Flows in You: Benchmarking and Improving Static Data-Flow Analysis on Binary Executables

Data-flow analysis is a critical component of security research. Theoretically, accurate data-flow analysis in binary executables is an undecidable problem, due to complexities of binary code. Practically, many binary analysis engines offer some data-flow analysis capability, but we lack...

PT-2025-25783

Name of the Vulnerable Software and Affected Versions Linux kernel affected versions not specified Description A race condition has been identified in the Linux kernel's page allocator, specifically in the handling of unaccepted memory. The issue arises from the use of static branch enc/dec to...