/symbolic-trace

Symbolic execution of LLVM IR traces for program understanding.

Primary LanguageHaskell

Issues