This is a Google Summer of Code project that I am fortunate enough to be able to participate in. I am working with some amazing folks at NASA on an open-source software verification technique. The technique is called DiSE (Directed Incremental Symbolic Execution) and they have been working on it for a while now (check out the publication). My task this summer is to work with them to extend it beyond an intraprocedural analysis to an interprocedural analysis. It is going really well, just over a month left.
MudSolver is my (not so) cleverly named Java-based Constraint Satisfaction Problem (CSP) solver. In a Constraint Processing class I took, we got to build CSP solvers using a variety of algorithms/techniques. The problem is that we had to build these on top of a black-box CSP framework that was a little clunky and awkward to use. So I thought to myself, "Why not just build my own from the ground up?"
RedRockSolver is my Ruby-based Constraint Satisfaction Problem (CSP) solver. It is basically the same story as the MudSolver. Additionally, I am trying to learn Ruby and I figured one of the best ways to do that would be to just start writing a full-blown project in it.
- I will fill these in later.