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