issues
search
GaloisInc
/
pate
Patches Assured up to Trace Equivalence
Other
15
stars
2
forks
source link
Review and update user-manual
#395
Closed
thebendavis
closed
1 month ago
thebendavis
commented
2 months ago
[x] add SBIR info (as was added to the README in #404)
[x] blocked on #401 => update description of use of colors and add screenshot of Binary Ninja UI
[ ] point to or add a standalone target to use as a running example: ideally the target added in #417