Scalable, Sound, and Accurate Jump Table Analysis

Huan Nguyen 0004, Soumyakant Priyadarshan, R. Sekar 0001. Scalable, Sound, and Accurate Jump Table Analysis. In Maria Christakis, Michael Pradel, editors, Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2024, Vienna, Austria, September 16-20, 2024. pages 541-552, ACM, 2024. [doi]

Abstract

Abstract is missing.