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.
☆34Feb 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Compute mappings between arbitrary trees.☆18Jul 5, 2019Updated 6 years ago
- AES-128 and DES differential fault analysis☆16Jan 20, 2021Updated 5 years ago
- Yet Another Operating System - a simple and small x86 operating system☆11Oct 12, 2018Updated 7 years ago
- Git mirroring daemon☆43Apr 23, 2026Updated last month
- Tools and documentation about 'A Link to the Past' (GBA) internals.☆11Mar 15, 2020Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A simple CLI pomodoro timer written in Rust.☆14Nov 17, 2023Updated 2 years ago
- Linux driver for the MFRC522 chip, written in C and Rust☆12Jun 5, 2021Updated 5 years ago
- Documentation, configs, scripts and services used for the finals of the Prologin contest☆12Oct 31, 2022Updated 3 years ago
- Snapshot fuzzing with KVM and LibAFL☆96Aug 21, 2022Updated 3 years ago
- IDA Database Parser for Rust☆26Sep 13, 2024Updated last year
- Implementation tips for posix shells, in french☆15Dec 4, 2019Updated 6 years ago
- A simple raytracer meant to be used as a foundation for slightly better ones.☆20Dec 27, 2020Updated 5 years ago
- NixOS configuration for *.delroth.net personal server infrastructure☆56Mar 29, 2026Updated 2 months ago
- A minimal Kernel written in Rust☆45Oct 31, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- [Unstable] Fast, zero-copy and lightweight (Arm | Mips | x86) assembler in (C | C++ | C# | Go | Haskell | Javascript | Nim | OCaml | Pyth…☆41Feb 25, 2020Updated 6 years ago
- Mon école bug, c'est ici que vous retrouverez tous les incidents interne de l'EPITA.☆20Oct 12, 2022Updated 3 years ago
- ☆20Sep 27, 2019Updated 6 years ago
- Notes de cours d'ING1☆22Jul 2, 2020Updated 5 years ago
- React components for efficiently rendering large tabular data☆23Jan 7, 2023Updated 3 years ago
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆26Feb 19, 2020Updated 6 years ago
- Provide ICS files for students @ EPITA☆12Jun 22, 2016Updated 9 years ago
- IDA Database Importer plugin for Binary Ninja☆38Sep 13, 2024Updated last year
- Suck the InTernet☆804Mar 12, 2026Updated 3 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆11Apr 17, 2021Updated 5 years ago
- Underconstrained symbolic execution for cryptography verification☆19Mar 26, 2021Updated 5 years ago
- ICP Implementation and optimization on GPU☆25Nov 19, 2020Updated 5 years ago
- Intrusive data structures in Rust☆11May 26, 2015Updated 11 years ago
- Exit QEMU with user-defined code☆56May 6, 2026Updated last month
- x86_64 toy hypervisor☆10Nov 13, 2018Updated 7 years ago
- MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)☆25Nov 21, 2024Updated last year
- 🌟📚 This repository tries to regroup every learning sources made by student☆25Apr 30, 2021Updated 5 years ago
- ☆29Sep 27, 2019Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The official standards for YDD Development. An alternative and de-facto standard replacing the PSR conventions☆20Apr 13, 2026Updated 2 months ago
- Reads and parses Linux device tree images☆17Feb 10, 2024Updated 2 years ago
- ☆12Oct 19, 2022Updated 3 years ago
- A dead simple functional testing tool for command line applications☆19Sep 9, 2023Updated 2 years ago
- Binary Ninja Game Boy loader and architecture plugin for analysing and disassembling GB ROM.☆23Nov 17, 2020Updated 5 years ago
- Sample Program for rust-uefi. It's running as a UEFI apps written by Rust.☆16Sep 14, 2019Updated 6 years ago
- experimental datalog rules for a next gen polonius☆19Sep 6, 2022Updated 3 years ago