Skip to content
View Audaine's full-sized avatar
37 followers · 722 following
  • Washington, DC
  • 22:22 (UTC -04:00)

Achievements

Achievement: Quickdraw

Achievements

Achievement: Quickdraw

Highlights

  • Pro

Block or report Audaine

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • REDasm Public

    Forked from REDasmOrg/REDasm

    The OpenSource Disassembler

    C++ GNU General Public License v3.0 Updated Jul 31, 2024

  • vast Public

    Forked from trailofbits/vast

    VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or fu…

    C++ 1 Apache License 2.0 Updated Jul 28, 2024

  • rellic Public

    Forked from lifting-bits/rellic

    Rellic produces goto-free C output from LLVM bitcode

    C++ Apache License 2.0 Updated Jul 28, 2024

  • zydis-db Public

    Forked from zyantific/zydis-db

    Zydis instruction DB and editor/generator project

    Pascal MIT License Updated Jul 28, 2024

  • mishegos Public

    Forked from trailofbits/mishegos

    A differential fuzzer for x86 decoders

    C++ Apache License 2.0 Updated Jul 28, 2024

  • llvm-project Public

    Forked from llvm/llvm-project

    The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at…

    LLVM 2 Other Updated Jul 28, 2024

  • llvm-test-suite Public

    Forked from llvm/llvm-test-suite
    Logos Other Updated Jul 28, 2024

  • llvm-zorg Public

    Forked from llvm/llvm-zorg
    Python Other Updated Jul 28, 2024

  • clangir Public

    Forked from llvm/clangir

    A new high-level IR for clang.

    LLVM Other Updated Jul 28, 2024

  • capstone Public

    Forked from capstone-engine/capstone

    Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), BPF, Ethereum VM, M68K, M680X, Mips, MOS65XX, PPC, RISC-V(rv32G/rv64G), SH, Sparc, SystemZ, TMS320C64X, TriCore, Webassembly, XCo…

    C Updated Jul 28, 2024

  • oss-fuzz Public

    Forked from google/oss-fuzz

    OSS-Fuzz - continuous fuzzing for open source software.

    Shell Apache License 2.0 Updated Jul 28, 2024

  • polytracker Public

    Forked from trailofbits/polytracker

    An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.

    C++ Apache License 2.0 Updated Jul 28, 2024

  • pasta Public

    Forked from trailofbits/pasta

    Peter's Amazing Syntax Tree Analyzer

    C++ Apache License 2.0 Updated Jul 28, 2024

  • blight Public

    Forked from trailofbits/blight

    A framework for instrumenting build tools

    Python Apache License 2.0 Updated Jul 23, 2024

  • zydis Public

    Forked from zyantific/zydis

    Fast and lightweight x86/x86-64 disassembler and code generation library

    C MIT License Updated Jul 23, 2024

  • glog Public

    Forked from google/glog

    C++ implementation of the Google logging module

    C++ BSD 3-Clause "New" or "Revised" License Updated Jul 23, 2024

  • Polygeist Public

    Forked from llvm/Polygeist

    C/C++ frontend for MLIR. Also features polyhedral optimizations, parallel optimizations, and more!

    C++ Other Updated Jul 23, 2024

  • klee Public

    Forked from klee/klee

    KLEE Symbolic Execution Engine

    C++ Other Updated Jul 23, 2024

  • remill Public

    Forked from lifting-bits/remill

    Library for lifting machine code to LLVM bitcode

    C++ Apache License 2.0 Updated Jul 23, 2024

  • gap Public

    Forked from lifting-bits/gap

    A utility library to bridge llvm and mlir gaps.

    C++ 1 Apache License 2.0 Updated Jul 23, 2024

  • zycore-c Public

    Forked from zyantific/zycore-c

    Internal library providing platform independent types, macros and a fallback for environments without LibC.

    C MIT License Updated Jul 22, 2024

  • zydis-go Public

    Forked from zyantific/zydis-go

    Pure Go bindings for Zydis.

    Go MIT License Updated Jul 14, 2024

  • zasm Public

    Forked from zyantific/zasm

    x86-64 Assembler based on Zydis

    C++ MIT License Updated Jul 13, 2024

  • macroni Public

    Forked from trailofbits/macroni

    C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.

    C Apache License 2.0 Updated Jul 2, 2024

  • cast_checks Public

    Forked from trailofbits/cast_checks

    A procedural macro to check for invalid casts

    Rust Apache License 2.0 Updated Jun 20, 2024

  • deepstate Public

    Forked from trailofbits/deepstate

    A unit test-like interface for fuzzing and symbolic execution

    Python Apache License 2.0 Updated May 22, 2024

  • maat Public

    Forked from trailofbits/maat

    Open-source symbolic execution framework: https://maat.re

    C++ Other Updated Feb 15, 2024

  • unicorn Public

    Forked from unicorn-engine/unicorn

    Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)

    C GNU General Public License v2.0 Updated Feb 15, 2024

  • microx Public

    Forked from lifting-bits/microx

    Safely execute an arbitrary x86 instruction

    C++ Apache License 2.0 Updated Feb 6, 2024

  • llvm-capstone Public

    Forked from capstone-engine/llvm-capstone

    llvm with tablegen backend for capstone disassembler

    LLVM Other Updated Jan 31, 2024