A LLVM Pass with runtime dataflow sanitization
☆32Mar 28, 2019Updated 7 years ago
Alternatives and similar repositories for dataflow-pass
Users that are interested in dataflow-pass are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Assorted pintools☆30Mar 30, 2020Updated 6 years ago
- ☆16Mar 23, 2018Updated 8 years ago
- A toy implementation of 'Stack Guard' on top of the LLVM compiler toolchain☆23Jul 1, 2017Updated 9 years ago
- LLVM meets Code Property Graphs☆95Feb 27, 2021Updated 5 years ago
- ☆15May 6, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage☆31Sep 28, 2018Updated 7 years ago
- Low-level IR mutations for LLVM Bitcode☆44May 14, 2026Updated 2 months ago
- ☆12Jun 20, 2022Updated 4 years ago
- Implementation trade-offs in using Intel Pin for instruction tracing of complex programs☆15Oct 16, 2019Updated 6 years ago
- Generate project templates for executables that use LLVM and LLVM passes☆52Apr 28, 2022Updated 4 years ago
- LLVM Implementation of different ShadowStack schemes for x86_64☆39May 2, 2020Updated 6 years ago
- Implement CollAFL using LLVM LTO pass on afl++.☆12Sep 24, 2020Updated 5 years ago
- ☆15May 18, 2020Updated 6 years ago
- make a LLVM Toy RISC-V backend step by step☆12Feb 28, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- PARTS / LLVM compiler☆31Aug 14, 2019Updated 6 years ago
- LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…☆26Mar 15, 2020Updated 6 years ago
- A LLVM Sanitizer for Symbolic Tracing☆235Updated this week
- ghidra scripts☆15Feb 5, 2021Updated 5 years ago
- IDA AArch64 processor extender extension: Adding support for ARMv8.5 memory tagging extension opcodes☆27Jul 6, 2020Updated 6 years ago
- LLAP is an LLVM-based tool for generating enriched program dependency graphs (ePDGs) from program source code that are suitable for use i…☆16May 17, 2023Updated 3 years ago
- Group coding repository of PltCov, a tool to instrument ELF binaries for fuzzing with ngram coverage of imported APIs☆12Jan 18, 2022Updated 4 years ago
- ☆20Updated this week
- llvm Data Flow Graph dump☆36May 24, 2021Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆14Jun 21, 2020Updated 6 years ago
- An LLVM pass to profile dynamic LLVM IR instructions and runtime values☆141Nov 28, 2020Updated 5 years ago
- Fuzzing with controlled compilation☆31Apr 7, 2023Updated 3 years ago
- 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
- PPT of my talks.☆13Jun 23, 2025Updated last year
- Pointer Analysis with Tunable Precision☆27Mar 23, 2016Updated 10 years ago
- Terribly incorrect and incomplete AOT compiler for mRuby. Source code for the LLVM Social Berlin #20☆10Aug 25, 2022Updated 3 years ago
- ☆39Sep 27, 2022Updated 3 years ago
- ☆68May 5, 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.
- Super Fast Concolic Execution Engine based on Source Code Taint Tracing☆103Jul 14, 2022Updated 4 years ago
- Open source of the paper "击败SOTA反混淆方法"☆16Sep 10, 2022Updated 3 years ago
- S2E plugins library☆17Jan 7, 2020Updated 6 years ago
- try try full features ebpf on android without Pixel 6☆21Nov 1, 2022Updated 3 years ago
- 使用llvm实现的类C语言（解释器构造实践课程设计）☆10Jan 8, 2019Updated 7 years ago
- An LLVM interpreter that aims to compute points-to sets dynamically☆33Jan 11, 2015Updated 11 years ago
- ☆16Dec 22, 2019Updated 6 years ago