LLVM DSA fork for SeaHorn
☆21Aug 17, 2019Updated 7 years ago
Alternatives and similar repositories for llvm-dsa
Users that are interested in llvm-dsa are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆10Oct 28, 2020Updated 6 years ago
- Supplementary files for SSFT 2015 summer school☆11Sep 5, 2019Updated 7 years ago
- ☆10Aug 18, 2025Updated last year
- A sample kernel module showing the memory reordering.☆13May 30, 2020Updated 6 years ago
- Andersen's inclusion-based pointer analysis re-implementation in LLVM☆237Jun 19, 2019Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A suite of simple programs to test Intels' TSX extension☆14May 13, 2017Updated 9 years ago
- ☆18May 31, 2024Updated 2 years ago
- A cross-platform C++11 implementation of the CMM language interpreter☆11Jul 18, 2025Updated last year
- Measure branching along code paths☆18Oct 25, 2016Updated 10 years ago
- Uncovering Container Confusion in the Linux Kernel☆47Feb 27, 2024Updated 2 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆31Nov 7, 2015Updated 11 years ago
- ☆45Apr 12, 2022Updated 4 years ago
- ☆11Mar 26, 2018Updated 8 years ago
- A library to microbenchmark lambdas in C# and F# that runs on both Windows (clr) and Linux (mono).☆13Mar 9, 2017Updated 9 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power…☆65Feb 28, 2022Updated 4 years ago
- Simple rust fuzzer☆23Mar 17, 2021Updated 5 years ago
- ☆39Sep 27, 2022Updated 4 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆68Mar 1, 2025Updated last year
- funky fun fuzzer☆11Jul 6, 2021Updated 5 years ago
- Lua dialect in rust☆22Jun 17, 2021Updated 5 years ago
- ASPFuzz: Fuzzing the AMD SP's ROM bootloader with LibAFL using QEMU full-system emulation☆31Apr 12, 2023Updated 3 years ago
- This is the project of LearnAFL.☆29Aug 27, 2020Updated 6 years ago
- JIGSAW is a fuzzing-based path constraint solver.☆70May 31, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Qemu Fuzzer.针对Qemu模拟设备的模糊测试工具,主要思路是Host生成种子Data,然后传递给Guest中转程序,由中转程序访问MMIO,以达到和模拟设备的交互,不同于qtest自带的fuzzer.☆47Dec 12, 2021Updated 4 years ago
- Lyra is a prototype static analyzer for data science applications written in Python.☆31Aug 18, 2025Updated last year
- ☆82Aug 20, 2025Updated last year
- Tools for testing kernel ciphers and hash algorithm☆15Apr 27, 2023Updated 3 years ago
- ☆25May 10, 2021Updated 5 years ago
- KLEE-fl : Compile Project to Bitcode and Try Fuzzing with KLEE .☆31Apr 7, 2019Updated 7 years ago
- ☆13Apr 9, 2022Updated 4 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆101Mar 26, 2026Updated 7 months ago
- ☆23Jun 9, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…☆32Apr 29, 2021Updated 5 years ago
- ☆95Mar 26, 2025Updated last year
- PoC exploits against various SGX enclaves☆14May 19, 2022Updated 4 years ago
- ☆10Mar 24, 2022Updated 4 years ago
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆31Feb 26, 2021Updated 5 years ago
- A hacky clang analyzer checker that looks for potentially exploitable kernel integer overflows.☆20May 13, 2018Updated 8 years ago
- ☆95Apr 2, 2019Updated 7 years ago