RobinDavid

import ida_ida
import ida_problems
import ida_idaapi

from enum import IntEnum

PrType = IntEnum("PrType", {x: getattr(ida_problems, x) for x in dir(ida_problems) if x.startswith("PR_") and x!="PR_END"})


problems = {}

RobinDavid

import ida_lines
import ida_kernwin
from enum import Enum


def tokenize_line(line):
    COLOR_ON = "\x01"
    COLOR_OFF = "\x02"
    blacklist = ["SCOLOR_ON", "SCOLOR_OFF", "SCOLOR_ESC", "SCOLOR_INV", "SCOLOR_UTF8", "SCOLOR_FG_MAX"]
    tag_mapping = Enum("TagMapping", {x: getattr(ida_lines, x) for x in dir(ida_lines) if (x.startswith("SCOLOR_") and x not in blacklist)})

RobinDavid

#!/usr/bin/env python3
import z3

a = z3.BitVec("a", 8)
b = z3.BitVec("b", 8)
c = z3.BitVec("c", 8)
d = z3.BitVec("d", 8)
e = z3.BitVec("e", 8)

solver = z3.SolverFor("QF_BV")

RobinDavid

import fitz  # PyMuPDF
import sys
from pathlib import Path

def extract_png_from_pdf(pdf_file, output_path):
    # Ouvrir le fichier PDF
    pdf_document = fitz.open(pdf_file)

    # Sélectionner la première page
    first_page = pdf_document[0]

RobinDavid

import ida_bytes
from ida_idaapi import BADADDR
import ida_nalt


def mk_strings(ea: int, end: int = BADADDR):
    addr = ea
    while True:
        addr = ida_bytes.next_unknown(addr, end)
        if addr == end: