search

borzacchiello / seninja

symbolic execution plugin for binary ninja
BSD 2-Clause "Simplified" License
244 stars 22 forks source link

Add z3-solver dependency to plugin.json #5

Closed nbanmp closed 3 years ago

nbanmp commented 3 years ago

Installing with the binary ninja plugin manager should now install z3 if I'm understanding that correctly.

borzacchiello commented 3 years ago

Cool, thanks.