☆10Sep 28, 2020Updated 5 years ago
Alternatives and similar repositories for RLOBF
Users that are interested in RLOBF are comparing it to the libraries listed below
Sorting:
- OBsan: An Out-Of-Bound Sanitizer to Harden DNN Executables☆17Feb 28, 2023Updated 3 years ago
- Code for tracelet-level symbolic execution☆18Sep 18, 2022Updated 3 years ago
- LLVM 2.9 branch with TI C64x backend.☆11Oct 17, 2019Updated 6 years ago
- Collects all WebAssembly modules from a given website☆27Aug 13, 2020Updated 5 years ago
- MultiZone® Trusted Firmware is the quick and safe way to build secure IoT applications with any RISC-V processor. It provides secure acce…☆20Jan 22, 2024Updated 2 years ago
- ☆11Jul 2, 2025Updated 8 months ago
- Language Modelling, CMI vs Perplexity☆11Mar 17, 2018Updated 8 years ago
- PEiD like python script☆10Mar 5, 2017Updated 9 years ago
- KLEE / CSE Project☆48Apr 3, 2020Updated 5 years ago
- BinTuner☆67Jul 25, 2022Updated 3 years ago
- ☆11Aug 12, 2022Updated 3 years ago
- ☆14Nov 9, 2024Updated last year
- Static analysis tool to detect missing and incorrect error checks in C and C++ codebases without using a priori knowledge.☆19Feb 11, 2026Updated last month
- NeonGoby alias analysis checker☆14Jul 2, 2013Updated 12 years ago
- A toy WebAssembly(wasm) interpreter written in Swift☆16Jan 25, 2025Updated last year
- ☆12Jan 8, 2016Updated 10 years ago
- ☆12Feb 2, 2024Updated 2 years ago
- ☆14Mar 3, 2022Updated 4 years ago
- ☆11May 24, 2022Updated 3 years ago
- Misuse cases of Cryptography in real world software products☆12Nov 4, 2018Updated 7 years ago
- ☆11Aug 19, 2016Updated 9 years ago
- ☆10Dec 13, 2021Updated 4 years ago
- Amoeba: Binary Code Diverisfication through Composite Software Diversification☆10Aug 3, 2017Updated 8 years ago
- The dataset used in the experiments for Esh (http://binsim.com)☆21Sep 8, 2016Updated 9 years ago
- Datasets of the paper: Detecting "0-Day" Vulnerability: An Empirical Study of Secret Security Patch in OSS☆19Apr 9, 2019Updated 6 years ago
- GUIPilot: A Consistency-based Mobile GUI Testing Approach for Detecting Application-specific Bugs☆14Jan 5, 2026Updated 2 months ago
- AndroidSlicer is a dynamic slicing tool, useful for a variety of tasks, from testing to debugging to security.☆14Jul 28, 2019Updated 6 years ago
- A DL compiler fuzzer☆14Nov 1, 2024Updated last year
- Experiments in abstracting definitional interpreters☆16Oct 13, 2017Updated 8 years ago
- ☆14Nov 22, 2020Updated 5 years ago
- Data structure implementations (Avl tree, Red-black tree, Splay tree, Heap) for Ocaml language☆18Sep 27, 2012Updated 13 years ago
- Home page for this github organization☆22Aug 10, 2018Updated 7 years ago
- Research Artifact For Our Submission To VLDB☆10Oct 27, 2021Updated 4 years ago
- A demonstration of Ocaml modules & functors for machine learning.☆11Jun 27, 2015Updated 10 years ago
- A framework for finding completeness bugs in optimizing compiler toolchains.☆23Mar 4, 2024Updated 2 years ago
- A race detection tool for event driven applications.☆19Sep 21, 2015Updated 10 years ago
- A blanket execution/min hash semantic hash tool for binary function identification☆18Apr 22, 2016Updated 9 years ago
- Hardening code obfuscation against automated attacks☆170Jan 23, 2024Updated 2 years ago
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆56Jun 6, 2021Updated 4 years ago