PathWalker: A Dynamic Symbolic Execution Tool Based on LLVM Byte Code Instrumentation.

Junxian Zhang, Zhoujun Li, Xianchen Zheng

Browse the full SETTA paper archive.