Payton Byrd (Audaine)

Audaine

Geek Repo

Location:Washington, DC

Github PK Tool:Github PK Tool

Payton Byrd's repositories

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 http://reviews.llvm.org.

License:NOASSERTIONStargazers:1Issues:0Issues:0

anvill

anvill forges beautiful LLVM bitcode out of raw machine code

Language:LLVMLicense:AGPL-3.0Stargazers:0Issues:0Issues:0

blight

A framework for instrumenting build tools

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

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, XCore and X86.

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

clangir

A new high-level IR for clang.

License:NOASSERTIONStargazers:0Issues:0Issues:0

gap

A utility library to bridge llvm and mlir gaps.

Language:C++License:Apache-2.0Stargazers:0Issues:0Issues:0

glog

C++ implementation of the Google logging module

Language:C++License:BSD-3-ClauseStargazers:0Issues:0Issues:0

grr

High-throughput fuzzer and emulator of DECREE binaries

Language:C++License:Apache-2.0Stargazers:0Issues:0Issues:0

gun-rs

rust port of gundb to support multiple environments

Language:CSSLicense:MITStargazers:0Issues:0Issues:0

jsonwebkey-rs

Convert RSA Public Key between PEM and JWK

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

klee

KLEE Symbolic Execution Engine

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

llvm-capstone

llvm with tablegen backend for capstone disassembler

Language:LLVMLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:LogosLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0

Polygeist

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

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

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 further program abstraction.

Language:C++License:Apache-2.0Stargazers:0Issues:0Issues:0

maat

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

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

manticore

Symbolic execution tool

Language:PythonLicense:AGPL-3.0Stargazers:0Issues:0Issues:0

mcsema

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

Language:C++License:AGPL-3.0Stargazers:0Issues:0Issues:0

microx

Safely execute an arbitrary x86 instruction

Language:C++License:Apache-2.0Stargazers:0Issues:0Issues:0

oss-fuzz

OSS-Fuzz - continuous fuzzing for open source software.

Language:ShellLicense:Apache-2.0Stargazers:0Issues:0Issues:0

rellic

Rellic produces goto-free C output from LLVM bitcode

Language:C++License:Apache-2.0Stargazers:0Issues:0Issues:0

remill

Library for lifting machine code to LLVM bitcode

Language:C++License:Apache-2.0Stargazers:0Issues:0Issues:0
Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

unicorn

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

Language:CLicense:GPL-2.0Stargazers:0Issues:0Issues:0

zydis

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

Language:CLicense:MITStargazers:0Issues:0Issues:0

zydis-db

Zydis instruction DB and editor/generator project

Language:PascalLicense:MITStargazers:0Issues:0Issues:0