borzacchiello

PhD. Writing symbolic execution engines and program analysis related stuff

Results 3 repositories owned by


borzacchiello

seninja

238

Stars

22

Forks

Watchers

symbolic execution plugin for binary ninja

binaryninja-plugin

reverse-engineering

symbolic-execution

naaz

83

Stars

5

Forks

Watchers

Symbolic Execution Engine based on Ghidra's PCode

program-analysis

reverse-engineering

symbolic-execution

bncallgraph

16

Stars

3

Forks

Watchers

Binary Ninja Plugin for Generating Callgraphs

binaryninja-plugin