☆14Apr 27, 2020Updated 6 years ago
Alternatives and similar repositories for pitchfork-angr
Users that are interested in pitchfork-angr are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Papers related with kernel papers☆13Mar 18, 2023Updated 3 years ago
- ☆20Jun 13, 2022Updated 4 years ago
- Improving side channel analysis techniques for CTF problems.☆12Oct 25, 2020Updated 6 years ago
- BTB-X HPCA23 code☆14Jan 6, 2023Updated 3 years ago
- A Redex tutorial with a focus on how to do work in Redex☆11Oct 21, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Press any key, A to Z, enjoy animations with sounds. Built using libraries Paper.js & Howler.js☆12Apr 11, 2019Updated 7 years ago
- A Rust style C++ library.☆19Sep 3, 2022Updated 4 years ago
- a compiler from a lambda language to an assembly language, as a rewrite system☆16Sep 23, 2025Updated last year
- ☆20Nov 4, 2020Updated 5 years ago
- A general way to Recover Safe linking protected value/pointer☆17Oct 23, 2022Updated 4 years ago
- Speculative Store Bypass (CVE-2018-3639) proof of concept for Linux☆15Oct 22, 2021Updated 5 years ago
- A list of data-only attacks☆21Aug 22, 2025Updated last year
- Library to hide DBI artifacts when using Intel Pin. Code from the ASIA CCS 2019 paper "SoK: Using Dynamic Binary Instrumentation for Secu…☆24Nov 12, 2019Updated 6 years ago
- small and independent checkpoint☆12Nov 4, 2023Updated 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.
- This repository discloses a critical vulnerability in Apple’s A16 Bionic chip, where debug logic is executed on production-fused devices …☆18Sep 7, 2025Updated last year
- KLEE Symbolic Execution Engine☆10Jan 31, 2026Updated 8 months ago
- Implementing the Precise Runahead (HPCA'20) in gem5☆14Oct 5, 2023Updated 3 years ago
- A Scribble library for typesetting grammars better☆15Jul 9, 2026Updated 3 months ago
- Proc-macro to write an automatic fix for the "hidden lifetime in impl Trait" issue☆11Nov 22, 2024Updated last year
- A clone of DrRacket-style Unicode symbol input for Emacs☆16Aug 10, 2022Updated 4 years ago
- generating DFG and CFG from source code (using LLVM ) or from binary (using LLVM and Mcsema) 二进制或者源码转CGF& DFG☆43Sep 16, 2019Updated 7 years ago
- Source code for DABANGG attack.☆11Mar 26, 2022Updated 4 years ago
- A Man in the Middle proof of concept using docker containers☆21Jul 11, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Sci Blog jekyll theme☆16Dec 17, 2022Updated 3 years ago
- Microarchitectural attack development frameworks for prototyping attacks in native code (C, C++, ASM) and in the browser☆65Aug 7, 2022Updated 4 years ago
- Code for the paper: uSwitch: Fast Kernel Context Isolation with Implicit Context Switches☆11May 31, 2025Updated last year
- WaTZ: A Trusted WebAssembly Runtime Environment with Remote Attestation for TrustZone.☆33May 23, 2024Updated 2 years ago
- Microscope: Enabling Microarchitectural Replay Attacks☆21Jun 26, 2020Updated 6 years ago
- CleanupSpec (MICRO-2019)☆16Oct 22, 2020Updated 6 years ago
- ☆15Oct 21, 2020Updated 6 years ago
- CTF&RealWorld challenges☆26Oct 18, 2019Updated 7 years ago
- ☆13Apr 9, 2022Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- 这是一个获取任意切换libc版本和源码级别调试能力的仓库☆12Mar 13, 2020Updated 6 years ago
- LFSC Proof Checker☆11Sep 14, 2023Updated 3 years ago
- Public-facing course info for program analysis materials.☆44Oct 22, 2026Updated last week
- [ECCV2020] Motion-excited Sampler: Video Adversarial Attack with Sparked Prior☆11Nov 7, 2020Updated 5 years ago
- This is the repository for the code and artifacts related to the CCS2022 paper: C2C: Fine-grained Configuration-driven System Call Filter…☆11Nov 4, 2022Updated 3 years ago
- Implementation of Log20 in Java☆12Aug 15, 2018Updated 8 years ago
- qemu PCI device memory corruption☆10May 14, 2018Updated 8 years ago