Post #1689804

@pixx It looked like really useful stuff, though. The symbolic execution engine would crunch the code for a bit, then spit out a webpage with the code all laid out with each variable given a dropdown with all its possible value ranges. You could filter the source code to see what *could* execute if the variable were in one range or another, or step through the code until you hit another branching condition on an as-of-yet-unconstrained variable.