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:

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

#!/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 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

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_kernwin
import ida_loader

ss = ida_loader.snapshot_t()

ida_loader.build_snapshot_tree(ss)

ccs = list(ss.children)

def callback(param1, param2):

RobinDavid

#!/usr/bin/env python3
import sys
from pathlib import Path
import lddwrap
from hurry.filesize import size

def get_shared_size(filepath):
    deps = lddwrap.list_dependencies(Path(filepath))
    tot_size = 0 
    for d in deps: 

RobinDavid

from multiprocessing import Process, Queue
def deadline(timeout, f, *args):
    queue = Queue() #using to get the result
    def subproc_function(queue, f, *args):
        res = f(*args)
        queue.put(res)
    proc = Process(target=subproc_function, args=(queue, f) +args) #creation of a process calling longfunction with the specified arguments
    proc.start() #lauching the processus on another thread
    try:
        res = queue.get(timeout=timeout) #getting the resultat under 1 second or stop

RobinDavid

file = "/run/user/1000/jupyter/kernel-7365.json"

from jupyter_client.blocking import BlockingKernelClient

client = BlockingKernelClient(connection_file=file)

client.load_connection_file()

client.start_channels()

RobinDavid

import sys
import lxml.html
from path import Path
import wikipedia
import requests

def dl_image(search_str):
  page = wikipedia.page(search_str)
  html = lxml.html.fromstring(page.html())
  imgs = html.xpath("//img")