trailofbits / differ

Detecting Inconsistencies in Feature or Function Evaluations of Requirements
GNU Affero General Public License v3.0
67 stars 4 forks source link

Chisel benchmark support and tooling #55

Closed ameily closed 1 year ago

ameily commented 1 year ago

This PR adds support for the remaining CHISEL benchmark binaries and any required tooling to support them, including:

About half of the CHISEL benchmark samples are not being run because they do not operate correctly. For these samples, the original binary is compared against itself.