Skip to content

@LLVMParty LLVMParty

Change the repository type filter

All

    Repositories list

    22 repositories

    • packages

      Public
      Precompiled LLVM packages ready for (de)obfuscation related development.
      CMake
      •2•13•0•0•Updated Feb 5, 2025Feb 5, 2025

    • souper

      Public
      [fork] A superoptimizer for LLVM IR
      C++
      •
      Apache License 2.0
      •171•1•0•0•Updated Feb 5, 2025Feb 5, 2025

    • llvm-headers

      Public
      Easily search LLVM headers for all major versions!
      llvm
      C++
      •1•19•0•0•Updated Feb 3, 2025Feb 3, 2025

    • args

      Public
      Minimal header-only C++11 argument parser library for simple command line tools.
      C++
      •
      Boost Software License 1.0
      •2•23•0•0•Updated Feb 2, 2025Feb 2, 2025

    • klee

      Public
      [fork] KLEE Symbolic Execution Engine
      C++
      •
      Other
      •682•3•0•1•Updated Jan 6, 2025Jan 6, 2025

    • smtlib2parser

      Public
      C
      •
      MIT License
      •1•6•0•0•Updated Nov 26, 2024Nov 26, 2024

    • bitwuzla

      Public
      [fork] Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.
      SMT
      •
      Other
      •37•0•0•0•Updated Nov 14, 2024Nov 14, 2024

    • xed

      Public
      [fork] The X86 Encoder Decoder (XED), is a software library for encoding and decoding X86 (IA32 and Intel64) instructions
      Python
      •
      Apache License 2.0
      •150•0•0•0•Updated Nov 4, 2024Nov 4, 2024

    • remill

      Public
      [fork] Library for lifting of x86, amd64, and aarch64 machine code to LLVM bitcode
      C++
      •
      Apache License 2.0
      •146•6•0•1•Updated Nov 4, 2024Nov 4, 2024

    • minisat

      Public
      [fork] A minimalistic and high-performance SAT solver
      C++
      •
      Other
      •398•3•0•0•Updated Oct 7, 2024Oct 7, 2024

    • LLVMCMakeTemplate

      Public template
      Collection of scripts and CMake files to easily link to LLVM into your project (Windows, Linux, macOS).
      CMake
      •
      Boost Software License 1.0
      •4•38•0•0•Updated Oct 4, 2024Oct 4, 2024

    • z3

      Public
      [fork] The Z3 Theorem Prover
      C++
      •
      Other
      •1.5k•0•0•0•Updated Sep 26, 2024Sep 26, 2024

    • .github

      Public
      Organization README and Discussions
      0•2•0•0•Updated Sep 26, 2024Sep 26, 2024

    • alive2

      Public
      [fork] Automatic verification of LLVM optimizations
      C++
      •
      MIT License
      •111•2•0•0•Updated Sep 25, 2024Sep 25, 2024

    • RemillWorkshop

      Public
      C++
      •63•46•0•0•Updated Sep 18, 2024Sep 18, 2024

    • REVIDE

      Public
      The next generation reverse engineering IDE (work-in-progress).
      guiqttoolx64x86-64llvmidereverse-engineeringdisassemblyllvm-ir
      C++
      •
      GNU General Public License v3.0
      •10•93•2•0•Updated Jun 27, 2024Jun 27, 2024

    • gmp-6.3

      Public
      [fork] Unofficial mirror of GMP 6.3.x branch
      C
      •
      GNU Lesser General Public License v3.0
      •2•0•0•0•Updated Aug 21, 2023Aug 21, 2023

    • capstone

      Public
      [fork] Capstone disassembly/disassembler framework
      C
      •
      Other
      •1.6k•0•0•0•Updated Feb 27, 2022Feb 27, 2022

    • hunter

      Public
      [fork] CMake driven cross-platform package manager for C/C++.
      CMake
      •
      BSD 2-Clause "Simplified" License
      •654•0•0•0•Updated Feb 23, 2022Feb 23, 2022

    • Triton

      Public
      [fork] Triton is a Dynamic Binary Analysis (DBA) framework.
      C++
      •
      Apache License 2.0
      •539•0•0•0•Updated Feb 7, 2022Feb 7, 2022

    • TicklingVMProtect

      Public
      Assets for the "Tickling VMProtect with LLVM" blog post.
      LLVM
      •22•148•0•0•Updated Sep 16, 2021Sep 16, 2021

    • UnsupportedInstructionsLiftingToLLVM

      Public
      Using Zydis and LLVM to lift unsupported instructions to LLVM-IR
      C++
      •6•29•0•0•Updated Jul 30, 2021Jul 30, 2021