Concolic Testing and Fault Localization

I began this as a school project with another student and am continuing development because there are few tools that actually work for debugging c. You can read my class report to get a little history on what we've developed so far.

Bugs

I'm taking a break for a bit while I develop a simple bug reporting system. Most of the good bug reporting systems are best for large projects, so I will attempt to make a sleek simple one.

Language

Our project is being developed in python because of it's amazing regular expressions and because it's just an amazing language :)

Source

We are open sourced!
The project is hosted on github.