Redux is a set of classes that can do semantic analysis of binary executables and libraries, in order to assist reverse engineering efforts.

Analysis steps include control and data flow analysis on both local and global level. 2

This is a Work in Progress, there are no complete processor architecture descriptions yet, and several analysis steps are still missing.

It is currently only available from the Pike development CVS (conveniently available only to those with Pike write access).