Repositories list

• pukeko

  Public
  An experimental LLVM-IR code fragment generator using the SMT solver Z3.

  code-generationllvm-irz3-smt-solver

  Python

  •0•4•0•0•Updated Mar 19, 2023Mar 19, 2023

• hibari-gas

  Public
  An experimental obfuscator for software protection using the SMT-based code generation

  obfuscatorcode-generationsmt-solver+ 1software-protection

  Python

  •

  Apache License 2.0

  •1•7•0•0•Updated Nov 5, 2021Nov 5, 2021