Studying the influence of standard compiler optimizations on symbolic execution.

Shiyu Dong, Oswaldo Olivo, Lingming Zhang, Sarfraz Khurshid

Browse the full ISSRE paper archive.