Posted in dehydra on March 7th, 2007 2 Comments »
Dehydra does a form of basic symbolic execution now. It’s enough to avoid the unfeasable branches. It enabled me to add known_zero() and known_notzero() so dehydra supports all of the functions documented in the UNO paper. I believe dehydra can now match all of the features of uno’s DSL. Download it here. See malloc.js for [...]
Posted in DeCOMtamination, dehydra on March 2nd, 2007 2 Comments »
A Creature so Fierce… I’ve been wrestling with control flow graphs like this. I eliminated those pesky “empty” nodes found in the previous incarnations, improved branching to track conditions and realized that what I’m really doing is developing a tool to bite off the excessive necks and heads (otherwise known as edges and basic blocks) [...]
