Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

Home for the WALi weighted automaton library and OpenNWA nested-word automaton library