Jt/update bildb - Githubissues

draperlaboratory / cbat_tools

Program analysis tools developed at Draper on the CBAT project.

MIT License

102 stars 14 forks source link

Closed jtpaasch closed 3 years ago

jtpaasch commented 3 years ago

I've updated BILDB in two ways:

Updated all the code for latest BAP and Core (so using new let bindings, and new Core methods and equalities).
Bildb will now let you write to memory addresses that's not allocated (behind the scenes, bildb will first allocate that address, then write the word you want to write there).

jtpaasch commented 3 years ago

Thanks Greg!