简化版本llvm的stackprotector策略,将其包装成一个pass,对程序的stack进行保护
☆13Jul 13, 2017Updated 8 years ago
Alternatives and similar repositories for llvm-stack-guard
Users that are interested in llvm-stack-guard are comparing it to the libraries listed below
Sorting:
- Code Repository for DataGuard Framework☆13Jul 11, 2023Updated 2 years ago
- source code of paper "Mapping to Bits: Efficiently Detecting Type Confusion Errors"☆14Dec 23, 2018Updated 7 years ago
- llvm control flow graph☆26Sep 16, 2019Updated 6 years ago
- llvm Call Graph分析☆10May 27, 2017Updated 8 years ago
- the way to write llvm pass without llvm framework.☆11Feb 9, 2021Updated 5 years ago
- ☆53Jun 13, 2019Updated 6 years ago
- IoT Security Papers☆48Jan 21, 2020Updated 6 years ago
- ☆11Aug 10, 2021Updated 4 years ago
- Unicorn emulator plugin for Dwarf☆18Aug 4, 2019Updated 6 years ago
- ☆10Sep 10, 2022Updated 3 years ago
- new generation testing framework for C and C++☆36Oct 26, 2022Updated 3 years ago
- Data-centric defense mechanism against Spectre attacks. (DAC'19)☆11Nov 6, 2019Updated 6 years ago
- Rust and C Benchmarks☆14Nov 21, 2024Updated last year
- Low-level IR mutations for LLVM Bitcode☆43Feb 2, 2026Updated last month
- ARMv7 architecture plugin☆40Mar 7, 2024Updated 2 years ago
- predicate scientific program performance model using llvm☆27Jun 12, 2015Updated 10 years ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆12Sep 3, 2020Updated 5 years ago
- llvm Data Flow Graph dump☆36May 24, 2021Updated 4 years ago
- BotScreen: Trust Everybody, but Cut the Aimbots Yourself (USENIX Security '23)☆13Aug 25, 2023Updated 2 years ago
- Scribe: the record-replay mechanism☆35Nov 30, 2012Updated 13 years ago
- Simple commit search utility for Chromium Google Source.☆29Dec 8, 2022Updated 3 years ago
- ☆17Apr 18, 2019Updated 6 years ago
- 使用intel pin来求解一部分CTF challenge☆32Jul 1, 2018Updated 7 years ago
- Simple brainfuck compiler writen with LLVM☆11Dec 10, 2019Updated 6 years ago
- ORB-SLAM2-IMU-VIO 直接法加速的惯导加持的ORB-SLAM2☆11Nov 21, 2018Updated 7 years ago
- Binary Translator to LLVM IR☆226May 17, 2023Updated 2 years ago
- A tool for translating imperative programs to CSP.☆13Feb 7, 2017Updated 9 years ago
- ☆22Jul 19, 2015Updated 10 years ago
- deollvm arm64 based unicorn☆35Jul 4, 2019Updated 6 years ago
- Linux kernels (CGC DECREE and vanilla) with S2E extensions☆24Jul 6, 2024Updated last year
- Automatically exported from code.google.com/p/tpzsimul☆14Jul 7, 2015Updated 10 years ago
- An LLVM pass to profile dynamic LLVM IR instructions and runtime values☆141Nov 28, 2020Updated 5 years ago
- Mac OS X syscall hook kext☆24Feb 16, 2016Updated 10 years ago
- ☆17Feb 16, 2026Updated last month
- Timeless debugging with symbolic execution and processor trace☆75Jan 23, 2021Updated 5 years ago
- A Coq plugin that implements exceptions in Coq☆13Jan 7, 2021Updated 5 years ago
- Formalization of Typed Assembly Language (TAL) in Coq☆18Mar 11, 2024Updated 2 years ago
- An implementation of Deutsch–Jozsa algorithm on FPGA.☆14Nov 30, 2020Updated 5 years ago
- SCI期刊信息爬虫☆14Jan 6, 2019Updated 7 years ago