phulin / symbolic-trace

Symbolic execution of LLVM IR traces for program understanding.
17Updated 10 years ago

Related projects

Alternatives and complementary repositories for symbolic-trace