GitHub repository: mingjun97/symsan
Description: A LLVM Sanitizer for Symbolic Tracing