CySHell
CySHell
/ mlil_slice.py
Created
November 22, 2018 13:41
— forked from joshwatson/mlil_slice.py
MLIL Slicing in Binary Ninja
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| from binaryninja import HighlightStandardColor, PluginCommand | |
| def do_backward_slice(instruction, function): | |
| # switch to SSA form (this does nothing if it's already SSA). | |
| instruction_queue = set([instruction.ssa_form.instr_index]) | |
| visited_instructions = set() | |
| variables = set() |