CTSRD-SOAAP / soaapView external linksLinks
Security-Oriented Analysis of Application Programs
☆13Dec 14, 2018Updated 7 years ago
Alternatives and similar repositories for soaap
Users that are interested in soaap are comparing it to the libraries listed below
Sorting:
- Papers related with kernel papers☆13Mar 18, 2023Updated 2 years ago
- pwn database☆18Jan 6, 2019Updated 7 years ago
- Some VxWorks fuzzing examples using Cisco-Kitty and WDBDbg framework☆19Mar 13, 2016Updated 9 years ago
- ☆20Jun 7, 2025Updated 8 months ago
- ☆18Sep 4, 2023Updated 2 years ago
- Bbuzz: a bit-aware network protocol fuzzing and reverse engineering framework☆23Jan 27, 2021Updated 5 years ago
- Linux kernels (CGC DECREE and vanilla) with S2E extensions☆24Jul 6, 2024Updated last year
- Slicing tool for c++ programs using clang AST.☆18Mar 8, 2021Updated 4 years ago
- Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…☆25Sep 5, 2021Updated 4 years ago
- ☆25Oct 4, 2018Updated 7 years ago
- ☆29Sep 27, 2020Updated 5 years ago
- IDA recompiler☆31Dec 8, 2014Updated 11 years ago
- ☆26May 10, 2021Updated 4 years ago
- ☆29Jan 7, 2021Updated 5 years ago
- Assorted pintools☆30Mar 30, 2020Updated 5 years ago
- Root Repo for the RLBox Sandboxing Library Research prototype. Note: this is the original research prototype for this library. For the pr…☆24Sep 14, 2023Updated 2 years ago
- Collection of AI and Security Papers☆27Apr 17, 2020Updated 5 years ago
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆31Feb 26, 2021Updated 4 years ago
- Test suite for Capsicum☆45Oct 8, 2024Updated last year
- KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling☆36Feb 28, 2020Updated 5 years ago
- A replication of the Baldur's Gate 3 Script Extender for MacOS☆22Updated this week
- Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…☆32Apr 29, 2021Updated 4 years ago
- SIde-Channel Analysis toolKit: embedded security evaluation tools☆30Dec 31, 2021Updated 4 years ago
- ECOin is a P2P crypto-currency with the goal of providing a long-term energy-efficient digital economy strategy.☆13Feb 23, 2025Updated 11 months ago
- A comprehensive repository for malware analysis and threat intelligence, including Cobalt Strike Beacon configurations, YARA rules, IOCs,…☆14Oct 23, 2025Updated 3 months ago
- Red-Team - AI Agent to Phish Employees based on Social Intelligence.☆22Dec 28, 2025Updated last month
- Compartmentalization using hardware and software techniques.☆11Aug 28, 2025Updated 5 months ago
- Python infrastructure to train paths selectors for symbolic execution engines.☆11Feb 6, 2026Updated last week
- ☆38Nov 30, 2020Updated 5 years ago
- Reverse Engineering of the Cisco HWIC-3G-CDMA PCB☆44Mar 7, 2024Updated last year
- Extremely minimal C unit test framework, used by Libevent and Tor☆48Mar 10, 2018Updated 7 years ago
- An IDA Pro swiss army knife (with a sexy name!)☆56Mar 15, 2013Updated 12 years ago
- ☆38Nov 29, 2022Updated 3 years ago
- Python SDK for IUDX.☆10Apr 29, 2021Updated 4 years ago
- 📓 TextMate syntax highlighting for Extended Backus–Naur Form☆14Oct 30, 2016Updated 9 years ago
- ☆11Dec 30, 2025Updated last month
- ☆11Apr 6, 2018Updated 7 years ago
- Common Proprietary Qualcomm Binaries☆10Dec 26, 2016Updated 9 years ago
- Solidity SDK for Notional Finance☆11Apr 26, 2022Updated 3 years ago