JIGSAW: Efficient and Scalable Path Constraints Fuzzing

Ju Chen, Jinghan Wang, Chengyu Song, Heng Yin. JIGSAW: Efficient and Scalable Path Constraints Fuzzing. In 43rd IEEE Symposium on Security and Privacy, SP 2022, San Francisco, CA, USA, May 22-26, 2022. pages 18-35, IEEE, 2022. [doi]

Abstract

Abstract is missing.