Changochen / TrinityCTFLinks
CTF stuff by Trinity from Nanjing University
☆9Updated 4 years ago
Alternatives and similar repositories for TrinityCTF
Users that are interested in TrinityCTF are comparing it to the libraries listed below
Sorting:
- ☆61Updated 3 years ago
- ☆77Updated 3 years ago
- Collate and collect binary related materials, including papers, tools, etc. Now,there are the following categories: 1、Fuzzing☆58Updated 6 years ago
- z3 solver 学习☆50Updated 2 years ago
- Value set analysis(VSA) for revealing the possible values (strings) of the keys from mobile app☆43Updated 5 years ago
- A points-to and alias analysis benchmark suite☆41Updated 6 years ago
- Dtaint: taint analysis based on DFSan and llvm instrumentation☆28Updated 3 years ago
- This repository is used to analysis the shared resources of different containers☆30Updated 8 months ago
- Run fuzzing experiments in Docker☆31Updated 4 years ago
- ☆50Updated 4 years ago
- ☆39Updated 4 years ago
- List the real world programs evaluated in fuzzing papers.☆56Updated 6 years ago
- A Cross-Language Dynamic Information Flow Analysis.☆24Updated 2 years ago
- A GPT-Based Fuzz Driver Generator☆46Updated last year
- ☆16Updated 3 years ago
- A collection of widely-fuzzed targets☆46Updated 5 years ago
- ☆90Updated 3 years ago
- Polar : Function Code Aware Fuzz Testing of ICS Protocol☆33Updated 4 years ago
- CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs☆44Updated 5 years ago
- EcoFuzz-An adaptive energy-saving greybox fuzzer☆51Updated 5 years ago
- Code and artifacts related to the Asia CCS 2022 paper☆37Updated 3 years ago
- ☆26Updated 3 years ago
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆95Updated last year
- ☆74Updated 2 years ago
- CCF推荐列表的会议征稿信息(计算机系统相关);SCI I区、II区期刊(系统与安全相关)☆30Updated 6 years ago
- [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel☆76Updated 3 years ago
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆37Updated 7 months ago
- Run fuzzing experiments in Docker☆101Updated 4 years ago
- angr源码分析☆33Updated 5 years ago
- RTFM! Automatic Assumption Discovery and VerificationDerivation from Library Document for API Misuse Detection☆16Updated 3 years ago