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")