Skip to content

Instantly share code, notes, and snippets.

View amtal's full-sized avatar

amtal

38 followers · 6 following
  • #
View GitHub Profile
@joshwatson
joshwatson / mlil_slice.py
Last active July 6, 2023 08:15
MLIL Slicing in Binary Ninja
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()