angr / acsac-courseView external linksLinks
☆50Dec 17, 2020Updated 5 years ago
Alternatives and similar repositories for acsac-course
Users that are interested in acsac-course are comparing it to the libraries listed below
Sorting:
- Angr-based static analysis tool for vusec/vuzzer64 fuzzing tool☆22Aug 3, 2020Updated 5 years ago
- Our backup exploitation technique: fuzzing for POVs!☆24Aug 20, 2016Updated 9 years ago
- Exploits for interesting CTF challenges I have worked on☆63Mar 1, 2017Updated 8 years ago
- BinaryView Plugin for Microcorruption CTF memory dumps☆13Jul 16, 2019Updated 6 years ago
- Backwards program slice stitching for automatic CTF problem solving.☆50Mar 26, 2019Updated 6 years ago
- Docker files for Miasm☆17Apr 27, 2018Updated 7 years ago
- ☆27Jul 31, 2021Updated 4 years ago
- Hashashin: A Fuzzy Matching Tool for Binary Ninja☆95Aug 25, 2023Updated 2 years ago
- AIL: The angr Intermediate Language.☆33May 28, 2025Updated 8 months ago
- Binaryninja AVR architecture plugin with lifting☆45Oct 26, 2023Updated 2 years ago
- This repository contains the currently implemented angr concrete targets.☆34Sep 1, 2023Updated 2 years ago
- Output high level Pcode (PcodeAST) in Ghidra☆16Apr 7, 2023Updated 2 years ago
- Collects extended function properties from IDA Pro databases☆94Dec 6, 2020Updated 5 years ago
- experiments for IJON☆12Jul 1, 2019Updated 6 years ago
- CTF(x) 2016 problem statements, files, and writeups☆16Jan 30, 2019Updated 7 years ago
- A project that uses Binary Ninja and GRAKN.AI to perform static analysis on binary files with the goal of identifying bugs in software.☆59Dec 31, 2018Updated 7 years ago
- Automatic modeling of hardware to enable the rehosting of embedded firmware☆86Mar 22, 2024Updated last year
- Slides and very basic examples☆112May 17, 2017Updated 8 years ago
- Final project for the M.Sc. in Engineering in Computer Science at Università degli Studi di Roma "La Sapienza" (A.Y. 2016/2017).☆35Oct 23, 2017Updated 8 years ago
- ☆15Dec 27, 2022Updated 3 years ago
- Slightly better IDA code folding☆14May 26, 2020Updated 5 years ago
- automated-arancino is a lightweight analysis framework to automate malware experiments.☆16Apr 17, 2017Updated 8 years ago
- ☆12Oct 29, 2015Updated 10 years ago
- Rust Bindings to interact with SMTLIB2 compliant solvers☆17Jun 3, 2019Updated 6 years ago
- ☆15May 1, 2023Updated 2 years ago
- Generic server for collaborative code analysis☆13Dec 19, 2016Updated 9 years ago
- Scriptable Binary Ninja plugin to enable automated coverage analysis and visualization☆136Feb 15, 2023Updated 2 years ago
- Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities☆91May 7, 2024Updated last year
- A repository with binaries for angr tests and examples.☆63Feb 5, 2026Updated last week
- Compiler-assisted Code Randomization (CCR) Toolchain☆66Oct 4, 2022Updated 3 years ago
- A box for CTF challenges with some sugar functions, Just Enjoy it☆33Dec 9, 2022Updated 3 years ago
- Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, X86)☆14Sep 4, 2019Updated 6 years ago
- Volatility plugin to help identify DoublePulsar implant by listing the array of pointers SrvTransaction2DispatchTable from the srv.sys dr…☆16Aug 14, 2017Updated 8 years ago
- Code for the use cases presented in the paper Symbion: Interleaving Symbolic with Concrete Execution☆15Dec 30, 2021Updated 4 years ago
- PoC code for CVE-2018-9539☆20Nov 11, 2018Updated 7 years ago
- lwipのバグを半自動検出くん。First introduced in 「2018年 暗号と情報セキュリティシンポジウム」（SCIS2018).☆14Dec 7, 2022Updated 3 years ago
- Automatic vulnerability detection and exploit generation☆16Jul 24, 2019Updated 6 years ago
- This repository contains an IDA processor for loading and disassembling compiled yara rules.☆44Dec 31, 2024Updated last year
- ☆252Mar 13, 2020Updated 5 years ago