Links

AutoDB project is implemented using the LLVM Compiler Infrastructure.

Source code for Dynamic Backward Slicing developed as part of AutoDB project

Dynamic Symbolic Execution tool which includes algorithmic improvements and refactoring of existing KLEE tool

Automated Software Debugging