SetsunaChyan / fdupa-lab
Lab for fudan program analysis 2024 autumn
☆8Updated 2 months ago
Alternatives and similar repositories for fdupa-lab:
Users that are interested in fdupa-lab are comparing it to the libraries listed below
- My solutions to NJU Static Program Analysis assignments: https://tai-e.pascal-lab.net/en/intro/overview.html☆47Updated 2 years ago
- 南京大学《软件分析》课程课后作业(非Bamboo) NJU's software analysis homework; ... Not official, just a reference☆285Updated 2 years ago
- Tai-e assignments for static program analysis☆31Updated 2 years ago
- 带你畅游《软件分析》☆277Updated 2 years ago
- 《四川大学计软网学生自救手册》☆72Updated 2 months ago
- 选课☆16Updated 2 years ago
- A Simple CPP Static Analysis Framework☆20Updated last year
- 南大软院保研攻略☆181Updated 8 months ago
- Problem Set for Course Compilers@software.nju.edu☆39Updated 8 months ago
- 静态分析基础教程☆156Updated last month
- 你南相关的一些脚本 - 包括但不限于教务抢课, 赛博跑步, (已经成为历史的)健康打卡等☆18Updated 11 months ago
- Nemu抄PA的给个star好嘛,看代码的时候可以根据pa切换分支,默认是pa2☆16Updated 3 years ago
- Tai-e assignments for static program analysis☆12Updated 2 years ago
- 2021年华为毕昇杯中国科学技术大学Maho_Shojo队二等奖作品☆27Updated 2 years ago
- 北航研究生信息系统课表导出为ical格式,可导入日历☆13Updated 5 months ago
- ☆68Updated 2 years ago
- ☆15Updated 3 years ago
- ☆44Updated last year
- 南京大学软件分析作业☆11Updated 2 years ago
- A continuously updated collection of CodeLLM papers☆291Updated 3 weeks ago
- ☆98Updated 6 months ago
- AAA - 短学期安全攻防实践开源仓库☆94Updated 6 months ago
- Awesome LLM for Cybersecurity☆11Updated 3 months ago
- ☆79Updated last year
- 关于2022年CS保研实验室/导师招生广告的汇总。欢迎想要打广告的小伙伴积极pr,资瓷一下互联网精神吼不吼啊?☆284Updated last year
- The source code of project "LLift" (Enhancing static analysis with LLM)☆62Updated 11 months ago
- A structure-aware grey box fuzzer based on modeling the input processing logic.☆162Updated 4 months ago
- CKGFuzzer: LLM-Based Fuzz Driver Generation Enhanced By Code Knowledge Graph☆13Updated 2 weeks ago
- Archive of AAA CTF 2022 (XCTF competition)☆77Updated 3 months ago
- oh my soot !☆88Updated 2 years ago