raytheonbbn / weldrView external linksLinks
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
- A framework for parsing binary data.☆18Aug 12, 2022Updated 3 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
- ELF patching library in Python☆24Mar 15, 2021Updated 4 years ago
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆59May 20, 2025Updated 8 months ago
- ☆31Jul 21, 2020Updated 5 years ago
- A tracing tool to analyze the I/O behavior of a program.☆12Sep 25, 2019Updated 6 years ago
- ☆10Jun 26, 2025Updated 7 months ago
- My Analysis of the VC4 Assembly Code from the RPI4☆37Feb 12, 2025Updated last year
- Kernel-based debugger for Linux applications☆75Mar 8, 2022Updated 3 years ago
- SIGPLAN website☆13Jan 28, 2026Updated 2 weeks 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
- Some of my crypto challenges☆11Jun 21, 2020Updated 5 years ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 3 months ago
- ☆11May 30, 2019Updated 6 years ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆54May 26, 2025Updated 8 months ago
- Amoeba: Binary Code Diverisfication through Composite Software Diversification☆10Aug 3, 2017Updated 8 years ago
- Modify ELF executables☆16Mar 5, 2019Updated 6 years ago
- This is a project I'm using to learn Rust and binary analysis.☆11Jan 20, 2022Updated 4 years ago
- Interesting papers☆11Jun 22, 2024Updated last year
- ☆13May 5, 2018Updated 7 years ago
- ☆11Nov 17, 2017Updated 8 years ago
- Universal instruction selection☆12Jun 8, 2018Updated 7 years ago
- The implementation of an SMTLib dialect for xDSL☆17Feb 6, 2026Updated last week
- finding set bits in large bitmaps☆15Nov 30, 2015Updated 10 years ago
- Goal: a website to automatically train and certify compiler researchers and developers☆10Nov 24, 2019Updated 6 years ago
- Play-with-compiler sandbox based on PWD☆10Oct 22, 2020Updated 5 years ago
- ☆11Jun 25, 2020Updated 5 years ago
- Add support for debugging JITed code to ORC JIT from LLVM Kaleidoscope example☆13Jun 14, 2017Updated 8 years ago
- PATRIOTIC - Pervasive Anti-Tampering and Anti-Repackaging for IoT for Integrated C-based Firmware☆10Jan 26, 2023Updated 3 years ago
- An LLVM pass to prove that an II works for the given loop for Vitis HLS☆11Aug 22, 2021Updated 4 years ago
- ROP-Gadget finder in Rust☆17Feb 2, 2018Updated 8 years ago
- ☆10Sep 23, 2023Updated 2 years ago
- TLS Tracing examples using eBPF against the OpenSSL Library☆15Jun 26, 2022Updated 3 years ago
- DINAMITE LLVM Pass☆11May 24, 2017Updated 8 years ago
- Automatically exported from code.google.com/p/synchronic☆11Nov 8, 2016Updated 9 years ago
- Retargetable ML compilers for the twenty-first century!☆13Apr 22, 2025Updated 9 months ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 3 years ago
- Vulnerability management tool that provides Buildroot SBOM generation and CVE Analysis of target images.☆11Jan 2, 2026Updated last month