SoK: A Modularized Framework for Symbolic Execution and Application for Usable Tool Design

James Mattei, Andrew Lin, Jasper Geer, Jie Hu, Moritz Schloegel, Tiffany Bao, Daniel Votipka. SoK: A Modularized Framework for Symbolic Execution and Application for Usable Tool Design. In Raghudeep Kannavara, Z. Berkay Celik, Sazzadur Rahaman, Dimitri Van Landuyt, editors, Proceedings of the 2026 ACM Secure Development Conference, SecDev 2026, Montreal, QC, Canada, July 5-6, 2026. pages 57-73, ACM, 2026. [doi]

Abstract

Abstract is missing.