GitHub repository: panda-re/symbll
Primary language: LLVM
Description: Symbolic execution for LLVM traces produced by PANDA