SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017
☆26May 5, 2021Updated 5 years ago
Alternatives and similar repositories for safeinit
Users that are interested in safeinit are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆17Sep 20, 2019Updated 7 years ago
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Feb 19, 2019Updated 7 years ago
- ☆15Jul 5, 2018Updated 8 years ago
- TypeSan checks casts in C++ code - code released for CCS 2016☆36May 5, 2021Updated 5 years ago
- Public release of the tools used to assist in gadget finding.☆42Jan 29, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆13May 5, 2021Updated 5 years ago
- ☆17Jan 1, 2021Updated 5 years ago
- Compiler-assisted Code Randomization (CCR) Toolchain☆67Oct 4, 2022Updated 4 years ago
- Modify ELF executables☆16Mar 5, 2019Updated 7 years ago
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆26Feb 19, 2020Updated 6 years ago
- Modified Nexus 9 kernel for Kenali Project☆30Aug 5, 2019Updated 7 years ago
- Empirical Analysis and Modeling of Black-Box Mutational Fuzzing☆10Mar 30, 2016Updated 10 years ago
- Web based code browser using clang to provide basic code analysis.☆47Jul 20, 2017Updated 9 years ago
- Radamsa written in c ported to Rust☆11May 10, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- API logger plugin for Intel Pintool☆14Nov 19, 2017Updated 8 years ago
- NeonGoby alias analysis checker☆14Dec 21, 2015Updated 10 years ago
- Generates memory map diagrams written in tikz for LaTeX☆20Nov 22, 2018Updated 7 years ago
- trace and intercept linux syscalls.☆15Dec 30, 2021Updated 4 years ago
- python and honggfuzz☆26May 18, 2020Updated 6 years ago
- Annotated FBI exploit for the Tor Browser Bundle from mid-2013 (CVE-2013-1690)☆15Aug 19, 2014Updated 12 years ago
- MCFI/PICFI tool chain☆44Mar 21, 2024Updated 2 years ago
- ☆25Jun 16, 2021Updated 5 years ago
- A GCC plugin implementing various stack canaries.☆14Sep 7, 2012Updated 14 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A (Miasm2 + binaryninja) based function divination.☆15Oct 22, 2017Updated 9 years ago
- Get build time statistics of _FORTIFY_SOURCE coverage for programs☆12Sep 23, 2024Updated 2 years ago
- ☆11Aug 4, 2015Updated 11 years ago
- FoRTE-Research's fuzzing benchmarks☆56Mar 12, 2019Updated 7 years ago
- Generic server for collaborative code analysis☆13Dec 19, 2016Updated 9 years ago
- Slides and very basic examples☆112May 17, 2017Updated 9 years ago
- Instrument code to trace memory☆19Feb 15, 2019Updated 7 years ago
- Uncovering Class Hierarchies in C++ Programs☆129Sep 16, 2022Updated 4 years ago
- The Binary Mutation code based on Uroboros☆14Feb 20, 2019Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- bil verification tool☆12Jun 30, 2022Updated 4 years ago
- Diablo is a retargetable link-time binary rewriting framework☆83Dec 21, 2020Updated 5 years ago
- suite of binaries used to test function identification☆29Nov 7, 2017Updated 8 years ago
- HexType: Efficient Detection of Type Confusion Errors for C++☆102Apr 20, 2024Updated 2 years ago
- Easy Window domain access☆52Apr 3, 2014Updated 12 years ago
- Amoeba: Binary Code Diverisfication through Composite Software Diversification☆11Aug 3, 2017Updated 9 years ago
- Targeted patcher for CGC binaries. CGrex was used only during the CGC qualifier event, and is OBSOLETE. For the CFE, we used patcherex (g…☆15Sep 2, 2016Updated 10 years ago