✧✦✶✷Catherine✷✶✦✧ on Nostr: i just discovered some really good software: SENinja ...
i just discovered some really good software: SENinja https://github.com/borzacchiello/seninja
it lifts Binary Ninja's intermediate representation to a symbolic form and lifts it to an SMT2 representation, then feeds it to Z3
the user interface is like a debugger, except you get things like symbolic expression, or you can ask for which inputs will result in reaching a specific branch
this is so so so cool
https://doi.org/10.1016/j.softx.2022.101219
it lifts Binary Ninja's intermediate representation to a symbolic form and lifts it to an SMT2 representation, then feeds it to Z3
the user interface is like a debugger, except you get things like symbolic expression, or you can ask for which inputs will result in reaching a specific branch
this is so so so cool
https://doi.org/10.1016/j.softx.2022.101219