The evarista analyzer, a work in progress program transformer and data-flow analyzer for binary programs directly implemented in the eresi language.