Create single-executable models of distributed systems.
☆19Jun 28, 2021Updated 4 years ago
Alternatives and similar repositories for weldr
Users that are interested in weldr are comparing it to the libraries listed below
Sorting:
- A (Miasm2 + binaryninja) based function divination.☆15Oct 22, 2017Updated 8 years ago
- [MICRO'20] LENS: A Low-level NVRAM Profiler [USENIX Security'23] NVLeak: Off-Chip Side-Channel Attacks via Non-Volatile Memory Systems☆14Jul 8, 2024Updated last year
- A framework for parsing binary data.☆18Aug 12, 2022Updated 3 years ago
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆59May 20, 2025Updated 9 months ago
- ELF patching library in Python☆24Mar 15, 2021Updated 4 years ago
- ☆31Jul 21, 2020Updated 5 years ago
- Some crypto scripts which is useful in study and ctf☆29Sep 2, 2021Updated 4 years ago
- My Analysis of the VC4 Assembly Code from the RPI4☆37Feb 12, 2025Updated last year
- Some of my crypto challenges☆11Jun 21, 2020Updated 5 years ago
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆11Aug 13, 2023Updated 2 years ago
- A White-Box Masking Scheme Against Computational and Algebraic Attacks☆13Jan 6, 2021Updated 5 years ago
- ☆12May 30, 2019Updated 6 years ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 4 months ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆54May 26, 2025Updated 9 months ago
- ROP-Gadget finder in Rust☆17Feb 2, 2018Updated 8 years ago
- PATRIOTIC - Pervasive Anti-Tampering and Anti-Repackaging for IoT for Integrated C-based Firmware☆10Jan 26, 2023Updated 3 years ago
- Universal instruction selection☆12Jun 8, 2018Updated 7 years ago
- Implementation of Silvio Cesare text infection technic☆10Jan 5, 2018Updated 8 years ago
- Not Another Range Library☆39Mar 9, 2014Updated 11 years ago
- A framework to make C memory safe☆13Sep 20, 2022Updated 3 years ago
- ☆11Jun 25, 2020Updated 5 years ago
- ☆11Nov 17, 2017Updated 8 years ago
- Presentations, Videos, and Sample Source from Austin LLVM Meetups☆11Jul 23, 2020Updated 5 years ago
- Amoeba: Binary Code Diverisfication through Composite Software Diversification☆10Aug 3, 2017Updated 8 years ago
- An LLVM pass to prove that an II works for the given loop for Vitis HLS☆11Aug 22, 2021Updated 4 years ago
- This is a project I'm using to learn Rust and binary analysis.☆11Jan 20, 2022Updated 4 years ago
- Automatically exported from code.google.com/p/synchronic☆11Nov 8, 2016Updated 9 years ago
- ☆15May 6, 2021Updated 4 years ago
- Play-with-compiler sandbox based on PWD☆10Oct 22, 2020Updated 5 years ago
- ☆10Sep 23, 2023Updated 2 years ago
- Farm-to-table, organic, handcrafted, delicious Webassembly☆14Dec 7, 2021Updated 4 years ago
- Windows Heap Loggin'☆11Aug 12, 2020Updated 5 years ago
- It's exactly like those graduation gift balloons, except this is a Clang Tool that detects library-level API and ABI compatibility breaki…☆14Apr 8, 2025Updated 10 months ago
- This repository accompanies the research paper "P. Kreutzer, S. Kraus, M. Philippsen: Language-Agnostic Generation of Compilable Test Pro…☆12Jul 8, 2022Updated 3 years ago
- Resources from my class on computer architecture design☆10Apr 25, 2018Updated 7 years ago
- Retargetable ML compilers for the twenty-first century!☆13Apr 22, 2025Updated 10 months ago
- A tool for checking tool output inspired by LLVM's FileCheck☆12Aug 29, 2025Updated 6 months ago
- The implementation of an SMTLib dialect for xDSL☆17Feb 27, 2026Updated last week
- Vulnerability management tool that provides Buildroot SBOM generation and CVE Analysis of target images.☆11Jan 2, 2026Updated 2 months ago