search

draperlaboratory / cbat_tools

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

WP cleanup #263

Open fortunac opened 4 years ago

fortunac commented 4 years ago

With our upgrade to bap 2.2.0, we should also clean up WP:

codyroux commented 3 years ago

Have we moved forward on this?

fortunac commented 3 years ago

We have not started this. @jtpaasch are there any obstacles preventing us from going ahead with making this change?

jtpaasch commented 3 years ago

Nope! I made this change in our VIBES project, and it was painless. Have a look at the VIBES repo, in the bap-vibes folder. Check out the bap-vibes.opam file (especially the make bit...), the Makefile there (notice we don't need to do dune install...we only do opam install), and the dune file inside src.