南京大学软件分析作业
☆13Jul 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
Sorting:
- NJU 软件分析 Tai-e☆15Dec 10, 2022Updated 3 years ago
- My solutions to NJU Static Program Analysis assignments: https://tai-e.pascal-lab.net/en/intro/overview.html☆52Oct 1, 2022Updated 3 years ago
- 开设南京大学软件学院大一学生编程入门练习（2019年春）☆17Aug 26, 2024Updated last year
- 南京大学计算机网络实验☆13Sep 18, 2020Updated 5 years ago
- NJUCS编译原理实验☆27Jul 9, 2021Updated 4 years ago
- nju os lab☆10Nov 22, 2021Updated 4 years ago
- ☆12Aug 13, 2014Updated 11 years ago
- NJU大数据实验☆10Dec 13, 2023Updated 2 years ago
- 南京大学编译原理实验☆12Jan 30, 2023Updated 3 years ago
- PRODeep: A Platform for Robustness Verification of Deep Neural Networks☆12Nov 11, 2020Updated 5 years ago
- x86模拟器 - 南京大学 计算机系统基础☆16Jan 17, 2019Updated 7 years ago
- 南京大学 计算机科学与技术系 2020 计算机网络实验☆13Nov 19, 2022Updated 3 years ago
- 南京大学智能计算系统课程实验☆12Oct 19, 2023Updated 2 years ago
- NJU OS lab 2023☆12Apr 26, 2023Updated 2 years ago
- 粤语开放词典☆10Oct 13, 2023Updated 2 years ago
- ☆15Feb 26, 2026Updated 3 weeks ago
- USAD model on UCR Time Series Anomaly Archive☆14Oct 22, 2021Updated 4 years ago
- An easy-to-learn/use static analysis framework for Java☆1,771Feb 16, 2026Updated last month
- ☆22Jan 5, 2025Updated last year
- LLVM Tutorial on the Kaleidoscope Language in Java☆16Oct 10, 2022Updated 3 years ago
- Tai-e学习记录☆19Apr 15, 2024Updated last year
- 南京大学 编译原理 作业 151220129 计科 吴政亿☆83Jun 13, 2018Updated 7 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…☆40Apr 24, 2025Updated 10 months ago
- ☆77Mar 3, 2025Updated last year
- Here is the replication of the paper Probabilistic Delta Debugging, which has been accepted by ESEC/FSE 2021. More details can be found i…☆19Aug 2, 2021Updated 4 years ago
- Code for paper 'Zero-Shot Scene Graph Generation via Triplet Calibration and Reduction' （TOMM 2023）☆10Sep 6, 2025Updated 6 months ago
- 南京大学操作系统OSLab☆111Apr 21, 2023Updated 2 years ago
- An automatic testing tool for Java software☆25May 21, 2018Updated 7 years ago
- Schedule and slides of my presentations.☆36Dec 7, 2025Updated 3 months ago
- ☆11Jul 6, 2023Updated 2 years ago
- ☆30Aug 30, 2022Updated 3 years ago
- ☆20May 9, 2023Updated 2 years ago
- 静态分析基础教程☆180Jan 3, 2026Updated 2 months ago
- ☆12Jul 9, 2025Updated 8 months ago
- This tool set can generate required capabilities for binaries. A system call to capability mapping is used to assign capability to the bi…☆14Oct 26, 2022Updated 3 years ago
- A collection of assignments on large language models, serving for both beginners to get started and pros to practice advanced tech.☆45Mar 30, 2025Updated 11 months ago
- 南京大学计算机网络课程实验☆24Aug 14, 2023Updated 2 years ago
- The SJTU-AN21 dataset is an anonymity network dataset generated by ten anonymity services.☆11Apr 14, 2023Updated 2 years ago
- Burp Suite extension to encode an IP address focused to bypass application IP / domain blacklist.☆11Sep 22, 2023Updated 2 years ago