南京大学软件分析作业
☆15Jul 30, 2022Updated 3 years ago
Alternatives and similar repositories for software-analysis
Users that are interested in software-analysis are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- NJU 软件分析 Tai-e☆13Dec 10, 2022Updated 3 years ago
- My solutions to NJU Static Program Analysis assignments: https://tai-e.pascal-lab.net/en/intro/overview.html☆57Oct 1, 2022Updated 3 years ago
- Coding in 2024-Compilers Class☆15Jun 1, 2024Updated 2 years ago
- ☆16Jun 24, 2024Updated 2 years ago
- Dynamic java method hook for Android，Implemented by jvmti☆53Apr 6, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Tai-e学习记录☆18Apr 15, 2024Updated 2 years ago
- This lab guides you through setting up an environment to explore CVE-2019-2215, a critical Android kernel vulnerability in the binder sub…☆44Apr 24, 2025Updated last year
- Code for paper 'Zero-Shot Scene Graph Generation via Triplet Calibration and Reduction' （TOMM 2023）☆10Sep 6, 2025Updated 9 months ago
- An automatic testing tool for Java software☆25May 21, 2018Updated 8 years ago
- ☆11Jul 6, 2023Updated 2 years ago
- ☆29Aug 30, 2022Updated 3 years ago
- ☆12Jul 9, 2025Updated 11 months ago
- The SJTU-AN21 dataset is an anonymity network dataset generated by ten anonymity services.☆11Apr 14, 2023Updated 3 years ago
- 在原版nps的基础上，增加了nps探测，以及对应的利用方式（如获取cookie，页面等），进行一些简单的二开。未经过大量测试，可能存在bug。☆22Aug 5, 2025Updated 10 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Burp Suite extension to encode an IP address focused to bypass application IP / domain blacklist.☆11Sep 22, 2023Updated 2 years ago
- [ESEC/FSE'23] Hue: A User-Adaptive Parser for Hybrid Logs☆10Aug 24, 2023Updated 2 years ago
- BPE Tokenizer implementations in C# for Anthropic, OpenAI LLM offerings☆14Oct 5, 2023Updated 2 years ago
- Alleycat plugin by devttys0, ported to IDA 8☆10Jan 15, 2025Updated last year
- 腾讯安全沙龙 一 二 三 期PPT集合☆19May 24, 2025Updated last year
- An exploration of Android App Functions☆18May 26, 2025Updated last year
- ☆12Jun 27, 2022Updated 4 years ago
- 安卓逆向实践，记录安卓逆向学习过程中代码实践样例☆43Feb 20, 2023Updated 3 years ago
- A framework for graph-based dependency parsing.☆19Feb 9, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆10May 17, 2023Updated 3 years ago
- An Interactive Hex-Rays Microcode Explorer☆17Feb 8, 2024Updated 2 years ago
- golang基于viper+agollo实现本地文件配置和远程apollo配置中心多实例快速接入☆10Jan 18, 2023Updated 3 years ago
- Golang eBPF RASP☆10Jul 19, 2023Updated 2 years ago
- A Static Dataflow Analysis Framework for iOS Applications.☆51Mar 27, 2024Updated 2 years ago
- burp被动插件扫反射xss☆14Nov 29, 2023Updated 2 years ago
- Anomaly detection using RAG☆19Apr 22, 2024Updated 2 years ago
- Generate random maze represented as 2D array of ones and zeros using depth-first search☆31Mar 13, 2018Updated 8 years ago
- Tao（道）一款用于java语言函数调用关系生成的工具，致力于提高java代码审计效率。☆11Jul 2, 2024Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Rebuilding ...☆11Apr 20, 2021Updated 5 years ago
- Clone of JSAI static analysis framework☆12Jul 29, 2017Updated 8 years ago
- 【Hello-CTF labs】开箱即用的多靶场集成虚拟机，你只管刷题，剩下的交给我~☆11Mar 10, 2025Updated last year
- Claude Code skill for running structured security audits with actionable remediation plans☆33Feb 10, 2026Updated 4 months ago
- FastjsonScan，支持版本识别、出网检测、AutoType检测、依赖检测，poc验证等功能☆14Jun 17, 2025Updated last year
- ☆12Dec 22, 2025Updated 6 months ago
- VisualDFA is a sophisticated educational tool for interactively visualizing data-flow analyses using Java/Jimple.☆12Sep 14, 2017Updated 8 years ago