SENinja: A symbolic execution plugin for Binary Ninja.

Luca Borzacchiello Emilio Coppa Camil Demetrescu

Published in: SoftwareX (2022)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
source code
specification language
data flow
open source
general purpose
genetic programming
orders of magnitude
simulated annealing algorithm