☆12Nov 2, 2022Updated 3 years ago
Alternatives and similar repositories for chess-aces
Users that are interested in chess-aces are comparing it to the libraries listed below
Sorting:
- Experimental MLIR based points-to analysis tool☆17Jan 21, 2026Updated last month
- a friendly implementation of nyx ontop of firecracker instead of QEMU. Easier to use & cleaner code☆30Jan 20, 2026Updated last month
- Galois Format Analysis Workbench☆21Nov 30, 2023Updated 2 years ago
- A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking…☆56Jan 22, 2025Updated last year
- MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.☆194Oct 29, 2022Updated 3 years ago
- Safe Rust bindings to the DynamoRIO dynamic binary instrumentation framework.☆21Mar 8, 2025Updated 11 months ago
- Thesis code☆26Aug 16, 2023Updated 2 years ago
- AIL: The angr Intermediate Language.☆33May 28, 2025Updated 9 months ago
- tool for multi-execution jump coverage introspection☆68Jan 28, 2025Updated last year
- This repository contains the currently implemented angr concrete targets.☆34Sep 1, 2023Updated 2 years ago
- clang checker to find heartbleed☆86Apr 28, 2014Updated 11 years ago
- A framework for instrumenting build tools☆90Feb 13, 2026Updated 2 weeks ago
- ☆43Jun 28, 2025Updated 8 months ago
- ☆38Sep 15, 2022Updated 3 years ago
- Binary analysis platform based on Octopus and Radare2☆78Nov 7, 2016Updated 9 years ago
- Corpus set used by DIE☆41May 20, 2020Updated 5 years ago
- ☆45Apr 12, 2022Updated 3 years ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 4 months ago
- Python program that uses the BG7 network analyser☆11Sep 30, 2023Updated 2 years ago
- A more realistic demo of a buffer overflow cause by -ffast-math☆15Sep 10, 2022Updated 3 years ago
- Java implementation of the Louvain method of community detection in graphs☆11Dec 19, 2025Updated 2 months ago
- Fuzzing Embedded Systems using Hardware Breakpoints☆191Nov 27, 2023Updated 2 years ago
- ☆44Apr 28, 2020Updated 5 years ago
- The parser-directed Fuzzer☆40May 22, 2020Updated 5 years ago
- PDF Analyzer and Render Comparer☆11May 6, 2022Updated 3 years ago
- A reverse/bind shell generator utility☆11Jul 22, 2024Updated last year
- Hide the memory of the process in the Linux kernel.☆10Dec 8, 2020Updated 5 years ago
- A version-agnostic ghidra plugin for de-compiling Qualcomm Hexagon QDSP6☆28Feb 26, 2026Updated last week
- A distributed experimentation platform using kubernetes.☆13Apr 20, 2021Updated 4 years ago
- # Ollama<=>Ollama Inference Cluster☆22Aug 8, 2025Updated 6 months ago
- Reverse engineered the villager pypi package to github repo for analysis☆26Sep 20, 2025Updated 5 months ago
- Scudo useful files☆10Jul 3, 2022Updated 3 years ago
- ☆55Updated this week
- Introduction to MLIR and xDSL training course☆19Oct 2, 2023Updated 2 years ago
- TokyoWesterns CTF 4th 2018 shrine☆12Aug 23, 2019Updated 6 years ago
- A book about datalog☆12Nov 26, 2022Updated 3 years ago
- ☆13Jan 7, 2026Updated last month
- PANDA-powered tracing engine for tenet☆11Apr 7, 2022Updated 3 years ago
- Support for compiling C programs with Eyra☆15Oct 13, 2024Updated last year