My solutions to NJU Static Program Analysis assignments: https://tai-e.pascal-lab.net/en/intro/overview.html
☆52Oct 1, 2022Updated 3 years ago
Alternatives and similar repositories for Tai-e-solutions
Users that are interested in Tai-e-solutions are comparing it to the libraries listed below
Sorting:
- 南京大学软件分析作业☆14Jul 30, 2022Updated 3 years ago
- NJU 软件分析 Tai-e☆14Dec 10, 2022Updated 3 years ago
- Tai-e assignments for static program analysis☆1,222Aug 28, 2025Updated 6 months ago
- Tai-e学习记录☆20Apr 15, 2024Updated last year
- This is a tutorial on how to write an LLVM Pass using the (kind-of) new PassManager. It is compiled from different sources referenced in …☆58Jan 24, 2019Updated 7 years ago
- Files related to the Pwn2Own Toronto 2023 exploit against the Xiaomi 13 Pro.☆31Oct 14, 2024Updated last year
- 带你畅游《软件分析》☆277Aug 1, 2022Updated 3 years ago
- A curated list of malware-related papers.☆34Feb 28, 2024Updated 2 years ago
- Code for the NDSS'23 paper "DARWIN: Survival of the Fittest Fuzzing Mutators"☆33Feb 28, 2023Updated 3 years ago
- 本项目主要是对Android安全文章阅读的笔记收集整理,帮助硕博和从业人员快速阅读论文☆38Nov 22, 2022Updated 3 years ago
- Original hVNC has been recoded to work with all version of windows above XP. Thanks to the original author for this wonderful tool.☆10Oct 13, 2021Updated 4 years ago
- ☆10Jun 5, 2023Updated 2 years ago
- LLM-powered tool that enhances OpenAPI specifications by extracting machine-readable constraints from human-readable descriptions.☆14Nov 6, 2024Updated last year
- Using SVF in Python Projects☆15Updated this week
- Files related to works published in Black Mass☆10Sep 16, 2023Updated 2 years ago
- Proofs-Of-360Security Sandbox Escape☆10Mar 18, 2022Updated 3 years ago
- mash hypervisor host pml4☆17Jun 22, 2022Updated 3 years ago
- doesnt work and wont work on it anymore☆10Jul 8, 2024Updated last year
- HVNC using virtual desktop☆10Dec 30, 2020Updated 5 years ago
- Given a kind of unknown encoding and the result of encoding, using this framework, we can crack and get the original text☆20Jan 24, 2018Updated 8 years ago
- An AI-powered plugin for Caldera that orchestrates long-running LLM workflows to automatically create adversary emulation abilities and p…☆22Feb 2, 2026Updated last month
- Used HTTP CSIC 2010 dataset☆11May 2, 2019Updated 6 years ago
- Interact with Windows RPC Services over SMB using go-smb☆11Feb 27, 2026Updated last week
- C++ COM class library☆12Oct 20, 2023Updated 2 years ago
- A Static Dataflow Analysis Framework for iOS Applications.☆51Mar 27, 2024Updated last year
- ☆13Aug 25, 2021Updated 4 years ago
- A benchmark for Java gadget chain detecting algorithms.☆15Jun 20, 2025Updated 8 months ago
- An example of how a driver can register a handle creation callback.☆16Jun 12, 2023Updated 2 years ago
- ☆10Apr 13, 2021Updated 4 years ago
- ☆11Mar 19, 2022Updated 3 years ago
- Abstract Syntax Definition Language (ASDL) ported to C++☆13Aug 9, 2020Updated 5 years ago
- QL-Relax☆13Aug 12, 2025Updated 6 months ago
- A collection of my scripts for research☆12Jul 28, 2025Updated 7 months ago
- Some research on UXSS vulnerabilities in web browsers☆12May 14, 2018Updated 7 years ago
- Awesome LLM for Cybersecurity☆11Nov 16, 2024Updated last year
- ☆11Jul 11, 2023Updated 2 years ago
- An easy-to-learn/use static analysis framework for Java☆1,767Feb 16, 2026Updated 3 weeks ago
- 模式化生成自然人社工字典☆13Jan 10, 2022Updated 4 years ago
- IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis☆10Mar 10, 2018Updated 8 years ago