[go: nahoru, domu]
Skip to content
View Audaine's full-sized avatar
34 followers · 719 following
  • Washington, DC
  • 08:25 (UTC -04:00)

Achievements

Achievement: Quickdraw
BetaSend feedback

Achievements

Achievement: Quickdraw
BetaSend feedback

Highlights

  • Pro
Block or Report

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

  • 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…

    1 Other Updated Jun 17, 2024

  • tflite-rs Public

    Forked from boncheolgu/tflite-rs
    Rust Apache License 2.0 Updated May 9, 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++ Apache License 2.0 Updated Mar 5, 2024

  • gap Public

    Forked from lifting-bits/gap

    A utility library to bridge llvm and mlir gaps.

    C++ Apache License 2.0 Updated Mar 5, 2024

  • remill Public

    Forked from lifting-bits/remill

    Library for lifting machine code to LLVM bitcode

    C++ Apache License 2.0 Updated Mar 5, 2024

  • klee Public

    Forked from klee/klee

    KLEE Symbolic Execution Engine

    C++ Other Updated Mar 5, 2024

  • llvm-test-suite Public

    Forked from llvm/llvm-test-suite
    Logos Other Updated Mar 5, 2024

  • llvm-zorg Public

    Forked from llvm/llvm-zorg
    Python Other Updated Mar 5, 2024

  • clangir Public

    Forked from llvm/clangir

    A new high-level IR for clang.

    Other Updated Mar 5, 2024

  • oss-fuzz Public

    Forked from google/oss-fuzz

    OSS-Fuzz - continuous fuzzing for open source software.

    Shell Apache License 2.0 Updated Mar 5, 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 Other Updated Feb 23, 2024

  • Polygeist Public

    Forked from llvm/Polygeist

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

    C++ Other Updated Feb 22, 2024

  • glog Public

    Forked from google/glog

    C++ implementation of the Google logging module

    C++ BSD 3-Clause "New" or "Revised" License Updated Feb 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

  • zydis Public

    Forked from zyantific/zydis

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

    C MIT License Updated Feb 9, 2024

  • blight Public

    Forked from trailofbits/blight

    A framework for instrumenting build tools

    Python Apache License 2.0 Updated Feb 7, 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

  • anvill Public

    Forked from lifting-bits/anvill

    anvill forges beautiful LLVM bitcode out of raw machine code

    LLVM GNU Affero General Public License v3.0 Updated Jan 30, 2024

  • zydis-db Public

    Forked from zyantific/zydis-db

    Zydis instruction DB and editor/generator project

    Pascal MIT License Updated Jan 23, 2024

  • rellic Public

    Forked from lifting-bits/rellic

    Rellic produces goto-free C output from LLVM bitcode

    C++ Apache License 2.0 Updated Jan 17, 2024

  • manticore Public

    Forked from trailofbits/manticore

    Symbolic execution tool

    Python GNU Affero General Public License v3.0 Updated Sep 15, 2023

  • gun-rs Public

    Forked from mmalmi/rod

    rust port of gundb to support multiple environments

    CSS MIT License Updated Aug 18, 2023

  • mcsema Public

    Forked from lifting-bits/mcsema

    Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode

    C++ GNU Affero General Public License v3.0 Updated Apr 26, 2022

  • jsonwebkey-rs Public

    Forked from informationsea/jsonwebkey-rs

    Convert RSA Public Key between PEM and JWK

    Rust Apache License 2.0 Updated Jan 9, 2021

  • grr Public

    Forked from lifting-bits/grr

    High-throughput fuzzer and emulator of DECREE binaries

    C++ Apache License 2.0 Updated Sep 4, 2019