Binary Level Concolic Execution on Windows with Rich Instrumentation Based Taint Analysis.

Yixiao Yang, Chen Gao, Zhiqi Li, Yifan Wang, Rui Wang

Browse the full SETTA paper archive.