Changochen / TrinityCTF
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
- A tool for easy manage a pwn server☆19Updated 6 years ago
- ☆26Updated 2 years ago
- Collate and collect binary related materials, including papers, tools, etc. Now,there are the following categories: 1、Fuzzing☆58Updated 5 years ago
- ☆61Updated 2 years ago
- CCF推荐列表的会议征稿信息(计算机系统相关);SCI I区、II区期刊(系统与安全相关)☆29Updated 5 years ago
- Precision-guided context sensitivity for pointer analysis☆60Updated last year
- z3 solver 学习☆49Updated last year
- Build docker container for @MaskRay's pcap-search☆12Updated 6 years ago
- ☆76Updated last week
- ☆75Updated 3 years ago
- A points-to and alias analysis benchmark suite☆40Updated 6 years ago
- Concurrency Paper☆102Updated last year
- A Pointer Analysis Framework for Rust☆51Updated 2 months ago
- r3kapig website☆32Updated this week
- 每周定期更新论文笔记分享的markdown以及图片☆185Updated 4 years ago
- Value set analysis(VSA) for revealing the possible values (strings) of the keys from mobile app☆43Updated 4 years ago
- Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity☆11Updated last year
- angr源码分析☆33Updated 5 years ago
- some useful scripts to solve pwn challenges in ctfs☆13Updated 4 years ago
- ☆16Updated 3 years ago
- AFLTeam Collaborative Parallel Fuzzing☆73Updated 2 years ago
- List the real world programs evaluated in fuzzing papers.☆56Updated 6 years ago
- CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs☆43Updated 5 years ago
- ☆33Updated last year
- Run fuzzing experiments in Docker☆101Updated 4 years ago
- [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel☆76Updated 3 years ago
- ☆90Updated 3 years ago
- Build a database of libc offsets to simplify exploitation☆12Updated 8 years ago
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆17Updated 4 years ago
- xinetd-kafel is a more secure replacement for xinetd with secure computing (seccomp, only work on linux)☆19Updated 6 years ago