☆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 2 years ago
- Code for tracelet-level symbolic execution☆18Sep 18, 2022Updated 3 years ago
- Collects all WebAssembly modules from a given website☆27Aug 13, 2020Updated 5 years ago
- ☆12Feb 2, 2024Updated 2 years ago
- GUIPilot: A Consistency-based Mobile GUI Testing Approach for Detecting Application-specific Bugs☆14Jan 5, 2026Updated last month
- LLVM 2.9 branch with TI C64x backend.☆11Oct 17, 2019Updated 6 years ago
- Implementation of MetaVQA.☆12Jul 3, 2021Updated 4 years ago
- ☆11May 24, 2022Updated 3 years ago
- Amoeba: Binary Code Diverisfication through Composite Software Diversification☆10Aug 3, 2017Updated 8 years ago
- ☆11Mar 22, 2024Updated last year
- A toy WebAssembly(wasm) interpreter written in Swift☆16Jan 25, 2025Updated last year
- Research Artifact For Our Submission To VLDB☆10Oct 27, 2021Updated 4 years ago
- A DL compiler fuzzer☆14Nov 1, 2024Updated last year
- ☆11Aug 19, 2016Updated 9 years ago
- PEiD like python script☆10Mar 5, 2017Updated 8 years ago
- NeonGoby alias analysis checker☆14Jul 2, 2013Updated 12 years ago
- ☆11Oct 17, 2024Updated last year
- Language Modelling, CMI vs Perplexity☆11Mar 17, 2018Updated 7 years ago
- Misuse cases of Cryptography in real world software products☆12Nov 4, 2018Updated 7 years ago
- KLEE / CSE Project☆48Apr 3, 2020Updated 5 years ago
- ☆12Jan 8, 2016Updated 10 years ago
- ☆10Dec 13, 2021Updated 4 years ago
- CIPHERH: Automated Detection of Ciphertext Side-channel Vulnerabilities in Cryptographic Implementations☆13Dec 17, 2023Updated 2 years ago
- ☆12Jul 21, 2023Updated 2 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 last year
- ☆11Jul 2, 2025Updated 7 months ago
- CVE List Found by Team Code4Block☆12Dec 19, 2022Updated 3 years ago
- ☆11Mar 22, 2022Updated 3 years 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
- Revisiting Cache Side-Channel Attacks in Deep Neural Networks Executables☆13Aug 27, 2024Updated last year
- Tool to measure code coverage of Android applications when their source code is not available☆12Apr 1, 2023Updated 2 years ago
- CREST extension that supports non-linear arithmetic☆14Jun 13, 2013Updated 12 years ago
- ☆14Mar 3, 2022Updated 3 years ago
- A blanket execution/min hash semantic hash tool for binary function identification☆18Apr 22, 2016Updated 9 years ago
- 仿【饿了么】iOS版,swift 2.2☆13Jun 19, 2017Updated 8 years ago
- Combinator Library for writing test generators and test properties for Android Apps☆12Jul 26, 2019Updated 6 years ago
- ☆11Aug 12, 2022Updated 3 years ago
- Decompiler Fuzzing Test with EMI mutation☆16Apr 23, 2020Updated 5 years ago