Alternatives and similar repositories for fdupa-lab:

Users that are interested in fdupa-lab are comparing it to the libraries listed below

• bluesadi / Tai-e-solutions
  My solutions to NJU Static Program Analysis assignments: https://tai-e.pascal-lab.net/en/intro/overview.html
  ☆50Updated 2 years ago
• RicoloveFeng / SPA-Freestyle-Guidance
  带你畅游《软件分析》
  ☆277Updated 2 years ago
• JacyCui / static-analysis
  静态分析基础教程
  ☆161Updated 3 months ago
• dianqk / Tai-e-assignments-tips
  Tai-e assignments for static program analysis
  ☆31Updated 2 years ago
• XDSEC / miniLCTF_2021
  ☆15Updated 3 years ago
• seclab-ucr / LLift
  The source code of project "LLift" (Enhancing static analysis with LLM)
  ☆68Updated last year
• ShenaoW / CISCNThesis
  全国大学生信息安全竞赛作品赛 非官方 LaTex 论文模板
  ☆22Updated last year
• SCU-CS-Runner / SurviveSCUManual
  《四川大学计软网学生自救手册》
  ☆74Updated 4 months ago
• PurCL / CodeLLMPaper
  A continuously updated collection of CodeLLM papers maintained by PurCL group @ Purdue
  ☆361Updated this week
• team-s2 / ctf_summer_courses
  AAA - 短学期安全攻防实践开源仓库
  ☆96Updated 8 months ago
• USTC-Hackergame / hackergame2023-writeups
  Hackergame 2023 的官方与非官方题解
  ☆199Updated 4 months ago
• kangwei-zhong / Big4PaperList
  A curated list of Security Big4 papers for Privacy, Mobile Security and Access Control.
  ☆13Updated 5 months ago
• LLMs-Sec / Awesome-LLM4Security
  Awesome LLM for Cybersecurity
  ☆11Updated 4 months ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆205Updated 3 weeks ago
• wildoranges / MahoShojo
  2021年华为毕昇杯中国科学技术大学Maho_Shojo队二等奖作品
  ☆27Updated 2 years ago
• Qi-Zhan / BrowsingYearReview
  快来生成你的浏览记录年度总结!
  ☆14Updated 3 months ago
• haowang02 / CourseMonitor
  CQU选课状态监测
  ☆12Updated 3 years ago
• ise-uiuc / TitanFuzz
  ☆80Updated last year
• pascal-lab / Tai-e-assignments
  Tai-e assignments for static program analysis
  ☆1,148Updated 2 years ago
• XDSEC / miniLCTF_2022
  miniLCTF 2022 Challenges and writeup
  ☆32Updated 2 years ago
• Xidian-ICTT-GZ / Academic_Blog
  软件工程与形式化方法相关前沿工作阅读与分享
  ☆32Updated last month
• CGCL-codes / MavenEcoSysResearch
  ☆44Updated last year
• KangweiiLiu / UCAS_courses
  中国科学院大学网安-计算机相关课程资源，高级人工智能，深度学习，应用密码学，机器学习，信息隐藏，信息论与编码，多媒体编码等
  ☆103Updated 2 years ago
• chengpeng-wang / LLMSAN
  LLMSAN: Sanitizing Large Language Models in Bug Detection with Data-Flow (EMNLP Findings 2024)
  ☆66Updated 5 months ago
• team-s2 / ACTF-2022
  Archive of AAA CTF 2022 (XCTF competition)
  ☆77Updated 4 months ago
• fish98 / CRS_Bugs
  Bugs in Pods: Understanding Bugs in Container Runtime Systems (ISSTA 2024)
  ☆18Updated 7 months ago
• ecnu-sa-labs / ecnu-sa-labs
  Lab sessions for the software analysis course at East China Normal University.
  ☆125Updated last week
• swkim101 / cspapers.org
  A search engine dedicated to CS conferences. It provides useful filters for conferences and year range.
  ☆118Updated 2 weeks ago
• hzysvilla / Academic_LLM_Sec_Papers
  Academic Papers about LLM Application on Security
  ☆130Updated last month
• silverbullettt / scaler
  Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity
  ☆11Updated last year