borzacchiello seninja issues

borzacchiello / seninja

symbolic execution plugin for binary ninja

BSD 2-Clause "Simplified" License

242 stars 22 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Memory page initialization

#18 skirge opened 1 month ago
0
Windows support

#17 Pl0414141 opened 3 months ago
0
binaryninja.UIPluginInHeadlessError: Cannot load binaryninjaui module from headless context. with BinaryNinja 4.0.4911

#16 CupCupRay opened 3 months ago
1
Unable to load seninja in Binja 3.5.4526

#15 vishwaraj101 closed 4 months ago
7
SENinja dock widgets are not visible or accessible in Binary Ninja 4.0

#14 galenbwill opened 4 months ago
6
Crash on current Binary Ninja dev (4.0.4865-dev (f6c70eaf)) when opening a file after the initial main window is closed

#13 galenbwill closed 4 months ago
1
Exception: Not enough space in stack. Increase stack size

#12 b1gcat closed 5 months ago
2
`Plugins` -> `SENinja` -> `Start symbolic execution` results in `RuntimeError`

#11 alexrp closed 5 months ago
1
Pthread basic support

#10 cmd-theo closed 1 year ago
3
Some fixes and improvements

#9 robert-yates closed 1 year ago
1
Broken HexViewWidget

#8 mink-fr closed 1 year ago
4
additional UI elements and several fixes

#7 robert-yates closed 1 year ago
1
create requirements.txt

#6 psifertex closed 2 years ago
2
Add z3-solver dependency to plugin.json

#5 nbanmp closed 3 years ago
1
Failed to import python plugin: community/borzacchiello_seninja

#4 ysf closed 2 years ago
2
Mismatches in registers and register names prevent execution

#3 shinmai closed 3 years ago
3
Create plugin.json?

#2 psifertex closed 3 years ago
4
bncache

#1 borzacchiello closed 4 years ago
0