saphIR is an Intermediate Representation with amd64 and arm64 backends. Also included: a compiler, an arm64 lifter, an arm64 to amd64 dynamic binary translator, and a fuzzer.
☆32Feb 4, 2021Updated 5 years ago
Alternatives and similar repositories for saphIR-project
Users that are interested in saphIR-project are comparing it to the libraries listed below
Sorting:
- AES-128 and DES differential fault analysis☆16Jan 20, 2021Updated 5 years ago
- Compute mappings between arbitrary trees.☆18Jul 5, 2019Updated 6 years ago
- A "turbo" slack bot, with free polls, reddit subscriptions, and many more to come☆10Oct 16, 2019Updated 6 years ago
- Simplex algorithm course @Epita☆15Apr 1, 2019Updated 6 years ago
- Tools and documentation about 'A Link to the Past' (GBA) internals.☆11Mar 15, 2020Updated 5 years ago
- Git mirroring daemon☆43Feb 3, 2026Updated last month
- Jinko is a small and safe interpreted language with fast Rust and C FFI☆34Dec 2, 2024Updated last year
- Neural network framework in shell☆19May 15, 2019Updated 6 years ago
- A simple raytracer meant to be used as a foundation for slightly better ones.☆20Dec 27, 2020Updated 5 years ago
- Parallel Functional Testing framework, written in Rust☆11Oct 22, 2023Updated 2 years ago
- libipt - an Intel(R) Processor Trace decoder library☆18Apr 7, 2017Updated 8 years ago
- Documentation, configs, scripts and services used for the finals of the Prologin contest☆12Oct 31, 2022Updated 3 years ago
- World's leading ML framework in shell☆10Aug 24, 2022Updated 3 years ago
- A simple CLI pomodoro timer written in Rust.☆14Nov 17, 2023Updated 2 years ago
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆26Feb 19, 2020Updated 6 years ago
- Cheat detection with python☆10May 29, 2024Updated last year
- 📖✨ Allows you to commit following custom rules or conventions easily☆15May 20, 2020Updated 5 years ago
- Provide ICS files for students @ EPITA☆12Jun 22, 2016Updated 9 years ago
- Network flows, transportation problems, shortesst paths and scheduling course @Epita☆17Jan 16, 2020Updated 6 years ago
- Generate data-flow graph and def-use graph for a function based on miasm and IDA Pro.☆22May 17, 2022Updated 3 years ago
- IDA Database Parser for Rust☆25Sep 13, 2024Updated last year
- ☆20Sep 27, 2019Updated 6 years ago
- Underconstrained symbolic execution for cryptography verification☆19Mar 26, 2021Updated 4 years ago
- MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)☆25Nov 21, 2024Updated last year
- ☆27Nov 30, 2024Updated last year
- A simple golang reverse engineering ida plugin☆19Dec 16, 2020Updated 5 years ago
- ICP Implementation and optimization on GPU☆24Nov 19, 2020Updated 5 years ago
- React components for efficiently rendering large tabular data☆23Jan 7, 2023Updated 3 years ago
- Notes de cours d'ING1☆22Jul 2, 2020Updated 5 years ago
- 🌟📚 This repository tries to regroup every learning sources made by student☆24Apr 30, 2021Updated 4 years ago
- U2F-Emulated☆26Sep 28, 2023Updated 2 years ago
- Analyze go source code through diagrams☆25Mar 12, 2022Updated 3 years ago
- ☆29Sep 27, 2019Updated 6 years ago
- gradient-based symbolic execution engine implemented from scratch☆37Dec 16, 2023Updated 2 years ago
- IDA Database Importer plugin for Binary Ninja☆37Sep 13, 2024Updated last year
- [Unstable] Fast, zero-copy and lightweight (Arm | Mips | x86) assembler in (C | C++ | C# | Go | Haskell | Javascript | Nim | OCaml | Pyth…☆40Feb 25, 2020Updated 6 years ago
- Decode machine code into VEX IR and translate into LLVM IR☆28Jun 1, 2019Updated 6 years ago
- weggli ruleset scanner for source code and binaries☆39Nov 16, 2025Updated 3 months ago
- An experimental raytracer in LaTeX☆30Nov 29, 2021Updated 4 years ago