Haoxin Tu, Lingxiao Jiang, Xuhua Ding, He Jiang. FastKLEE: faster symbolic execution via reducing redundant bound checking of type-safe pointers. In Abhik Roychoudhury, Cristian Cadar, Miryung Kim, editors, Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2022, Singapore, Singapore, November 14-18, 2022. pages 1741-1745, ACM, 2022. [doi]
Abstract is missing.