balayette / saphIR-projectView external linksLinks
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
- Simplex algorithm course @Epita☆15Apr 1, 2019Updated 6 years ago
- Yet Another Operating System - a simple and small x86 operating system☆11Oct 12, 2018Updated 7 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 week
- Keeping EPITA students organized☆15Jan 27, 2022Updated 4 years ago
- 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
- 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
- Linux driver for the MFRC522 chip, written in C and Rust☆12Jun 5, 2021Updated 4 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
- Universal 2nd Factor (U2F) Emulation C Library☆50Dec 1, 2021Updated 4 years ago
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆26Feb 19, 2020Updated 5 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
- ☆20Sep 27, 2019Updated 6 years ago
- IDA Database Parser for Rust☆25Sep 13, 2024Updated last year
- ☆27Nov 30, 2024Updated last year
- MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)☆25Nov 21, 2024Updated last year
- Underconstrained symbolic execution for cryptography verification☆19Mar 26, 2021Updated 4 years ago
- A simple golang reverse engineering ida plugin☆19Dec 16, 2020Updated 5 years ago
- Mon école bug, c'est ici que vous retrouverez tous les incidents interne de l'EPITA.☆20Oct 12, 2022Updated 3 years ago
- ICP Implementation and optimization on GPU☆24Nov 19, 2020Updated 5 years ago
- Implementation tips for posix shells, in french☆15Dec 4, 2019Updated 6 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
- U2F-Emulated☆26Sep 28, 2023Updated 2 years ago
- 🌟📚 This repository tries to regroup every learning sources made by student☆24Apr 30, 2021Updated 4 years ago
- Re-implementation of the git version control system in Rust☆23Aug 17, 2018Updated 7 years ago
- NixOS configuration for *.delroth.net personal server infrastructure☆54Sep 16, 2025Updated 4 months ago
- ☆29Sep 27, 2019Updated 6 years ago
- Analyze go source code through diagrams☆24Mar 12, 2022Updated 3 years ago
- IDA Database Importer plugin for Binary Ninja☆37Sep 13, 2024Updated last year
- Decode machine code into VEX IR and translate into LLVM IR☆28Jun 1, 2019Updated 6 years ago