Posted on 2022年8月15日2022年8月15日SymSan: Time and Space Efficient Concolic Execution via Dynamic Data-Flow Analysis 在LLVM上用concolic exuction拿到DFG path feed 给fuzzer和santinizer。算法上有很多剪枝优化。还在看实现。
