Giters
R. Elliott Childre (rchildre3)

rchildre3

Geek Repo

8

followers

44

following

298

stars

Company:@stresearch

Location:MA, USA

Home Page:https://www.linkedin.com/in/r-elliott-childre-18b80b55/

Twitter:@ElliottChildre

Github PK Tool:Github PK Tool

R. Elliott Childre's starred repositories

zed

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Language:RustLicense:NOASSERTIONStargazers:44131Issues:192Issues:7400

uv

An extremely fast Python package installer and resolver, written in Rust.

Language:RustLicense:Apache-2.0Stargazers:16054Issues:34Issues:2427

jnv

Interactive JSON filter using jq

Language:RustLicense:MITStargazers:4742Issues:15Issues:29

klee

KLEE Symbolic Execution Engine

Language:C++License:NOASSERTIONStargazers:2534Issues:106Issues:603

ret-sync

ret-sync is a set of plugins that helps to synchronize a debugging session (WinDbg/GDB/LLDB/OllyDbg2/x64dbg) with IDA/Ghidra/Binary Ninja disassemblers.

Language:CLicense:GPL-3.0Stargazers:1963Issues:50Issues:91

cmake-init

The missing CMake project initializer

Language:CMakeLicense:GPL-3.0Stargazers:1940Issues:28Issues:71

rustsec

RustSec API & Tooling

Language:RustLicense:NOASSERTIONStargazers:1567Issues:19Issues:313

libfuzzer-workshop

Repository for materials of "Modern fuzzing of C/C++ Projects" workshop.

Language:C++License:Apache-2.0Stargazers:1234Issues:55Issues:10

Angora

Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.

Language:C++License:Apache-2.0Stargazers:916Issues:41Issues:71

deepstate

A unit test-like interface for fuzzing and symbolic execution

Language:PythonLicense:Apache-2.0Stargazers:812Issues:58Issues:243

symcc

SymCC: efficient compiler-based symbolic execution

Language:C++License:GPL-3.0Stargazers:774Issues:24Issues:93

wg-best-practices-os-developers

The Best Practices for OSS Developers working group is dedicated to raising awareness and education of secure code best practices for open source developers.

Language:JavaScriptLicense:Apache-2.0Stargazers:697Issues:55Issues:133

fuzztest

Language:C++License:NOASSERTIONStargazers:679Issues:18Issues:56

cargo-auditable

Make production Rust binaries auditable

Language:RustLicense:Apache-2.0Stargazers:621Issues:19Issues:88

seahorn

SeaHorn Verification Framework

Language:CLicense:NOASSERTIONStargazers:435Issues:20Issues:199

Pixel_GPU_Exploit

Android 14 kernel exploit for Pixel7/8 Pro

Language:C++Stargazers:420Issues:9Issues:5

Ichor

C++20 Microservice Bootstrapping Framework

Language:C++License:MITStargazers:184Issues:11Issues:2

audit-check

🛡️ GitHub Action for security audits

Language:TypeScriptLicense:MITStargazers:171Issues:5Issues:35

bypass4netns

[Experimental] Accelerates slirp4netns using SECCOMP_IOCTL_NOTIF_ADDFD. As fast as `--net=host`.

Language:GoLicense:Apache-2.0Stargazers:124Issues:8Issues:25

BTIGhidra

Binary Type Inference Ghidra Plugin

Language:JavaLicense:GPL-3.0Stargazers:123Issues:5Issues:13

BlazeSeq

Language:MojoStargazers:92Issues:3Issues:9

llvm2cpg

LLVM meets Code Property Graphs

Language:C++License:Apache-2.0Stargazers:84Issues:13Issues:3

JacORB

JacORB ORB

Language:JavaLicense:GPL-2.0Stargazers:78Issues:21Issues:44

StdFuzzer

StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL

Language:RustStargazers:47Issues:6Issues:2

taox11

TAOX11, the CORBA implementation for C++11 and newer

Language:C++License:MITStargazers:31Issues:6Issues:16

rewrite-static-analysis

OpenRewrite recipes for identifying and fixing static analysis issues.

Language:JavaLicense:Apache-2.0Stargazers:28Issues:10Issues:192

libafl_qemu_artifacts

Language:RustLicense:Apache-2.0Stargazers:17Issues:4Issues:1

binary_type_inference

Language:RustLicense:GPL-3.0Stargazers:12Issues:4Issues:40

omg-idl

Rust IDL compiler / bindings

Language:RustStargazers:7Issues:0Issues:0

zinq

Language:RustStargazers:1Issues:0Issues:0