Skip to content
@LLVMParty

LLVMParty

README.md

Hi there 👋

The goal of this GitHub organization is to make it easier to use LLVM for reverse engineering and security research. There are various forked libraries and a central repository that you can easily reuse in your projects.

Pinned Loading

  1. TicklingVMProtect TicklingVMProtect Public

    Assets for the "Tickling VMProtect with LLVM" blog post.

    LLVM 141 24

  2. UnsupportedInstructionsLiftingToLLVM UnsupportedInstructionsLiftingToLLVM Public

    Using Zydis and LLVM to lift unsupported instructions to LLVM-IR

    C++ 27 6

  3. LLVMCMakeTemplate LLVMCMakeTemplate Public template

    Collection of scripts and CMake files to easily link to LLVM into your project (Windows, Linux, macOS).

    CMake 22 4

  4. packages packages Public

    Precompiled LLVM packages ready for (de)obfuscation related development.

    CMake 12 2

Repositories

Showing 10 of 19 repositories
  • packages Public

    Precompiled LLVM packages ready for (de)obfuscation related development.

    LLVMParty/packages’s past year of commit activity
    CMake 12 2 0 1 Updated Nov 5, 2024
  • xed Public Forked from intelxed/xed

    [fork] The X86 Encoder Decoder (XED), is a software library for encoding and decoding X86 (IA32 and Intel64) instructions

    LLVMParty/xed’s past year of commit activity
    Python 0 Apache-2.0 158 0 0 Updated Nov 4, 2024
  • bitwuzla Public Forked from bitwuzla/bitwuzla

    [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”.

    LLVMParty/bitwuzla’s past year of commit activity
    SMT 0 32 0 0 Updated Nov 4, 2024
  • remill Public Forked from lifting-bits/remill

    [fork] Library for lifting of x86, amd64, and aarch64 machine code to LLVM bitcode

    LLVMParty/remill’s past year of commit activity
    C++ 5 Apache-2.0 151 0 0 Updated Nov 4, 2024
  • klee Public Forked from klee/klee

    [fork] KLEE Symbolic Execution Engine

    LLVMParty/klee’s past year of commit activity
    C++ 2 695 0 1 Updated Oct 18, 2024
  • args Public

    Minimal header-only C++11 argument parser library for simple command line tools.

    LLVMParty/args’s past year of commit activity
    C++ 23 BSL-1.0 1 0 0 Updated Oct 17, 2024
  • minisat Public Forked from stp/minisat

    [fork] A minimalistic and high-performance SAT solver

    LLVMParty/minisat’s past year of commit activity
    C++ 2 395 0 0 Updated Oct 7, 2024
  • souper Public Forked from google/souper

    [fork] A superoptimizer for LLVM IR

    LLVMParty/souper’s past year of commit activity
    C++ 0 Apache-2.0 184 0 0 Updated Oct 7, 2024
  • LLVMCMakeTemplate Public template

    Collection of scripts and CMake files to easily link to LLVM into your project (Windows, Linux, macOS).

    LLVMParty/LLVMCMakeTemplate’s past year of commit activity
    CMake 22 BSL-1.0 4 0 0 Updated Oct 4, 2024
  • z3 Public Forked from Z3Prover/z3

    [fork] The Z3 Theorem Prover

    LLVMParty/z3’s past year of commit activity
    C++ 0 1,506 0 0 Updated Sep 26, 2024
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…