TTexplore is a library that performs path exploration on binary code using symbolic execution - View it on GitHub