Tamarin is a tool for establishing program equivalence for MIPS programs.
That is, given two MIPS assembly programs, Tamarin returns
- distinct if the programs can be shown to compute different functions
- maybe equivalent otherwise
Tamarin uses concolic testing.