search

draperlaboratory / cbat_tools

Program analysis tools developed at Draper on the CBAT project.
MIT License
102 stars 14 forks source link

Different func specs #349

Closed ccasin closed 3 years ago

ccasin commented 3 years ago

This adds two new flags, --user-func-specs-orig and --user-func-specs-mod.

These can be use to add function specs for one binary or the other in comparative analysis, and to give a function a different spec in each program. This is based on Cody's earlier branch. I've changed it to be compatible with the existing --user-func-specs flag, added some test cases, and updated the docs.