search

borzacchiello / seninja

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

additional UI elements and several fixes #7

Closed robert-yates closed 1 year ago

robert-yates commented 1 year ago

This PR adds some additional UI elements and fixes several issues i encountered.

New Stuff

HexView: Modify font and avoid setting a size to make the view more cohesive HexView: Use theme colours and add colour for symbolic variables to seperate from concrete ControlView: Allow some basic operations via buttons. icons from Vector35/debugger StateView: List state queue and allow easy access to find and switch between them, double click to switch to deferred

Fixes

Hexview: Fix Issue: Make Symbol - caused "TypeError: int() can't convert non-string with explicit base" Hexview: Fix Issue: Make Symbol - didnt update own hex view BufferView: Fix Issue: new symbols dont appear after Make Symbol in HexView. -> Fix incorrect update signal name Fixed a few missing checks for None with get_int_input Fixed race condition with empty states in progress callback

seninja

borzacchiello commented 1 year ago

Hey! Thank you for the amazing work! I have no access to my PC right now, I'll have a look at it next week :)