Alternatives and similar repositories for Tai-e-solutions

Users that are interested in Tai-e-solutions are comparing it to the libraries listed below

• RicoloveFeng / SPA-Freestyle-Guidance
  带你畅游《软件分析》
  ☆277Updated 2 years ago
• lxy417 / software-analysis
  南京大学软件分析作业
  ☆12Updated 2 years ago
• dianqk / Tai-e-assignments-tips
  Tai-e assignments for static program analysis
  ☆31Updated 2 years ago
• CGCL-codes / MavenEcoSysResearch
  ☆45Updated last year
• Freeeeeeeeedom / Static-Analysis
  NJU 软件分析 Tai-e
  ☆13Updated 2 years ago
• MirageLyu / Tai-e-assignments
  Tai-e assignments for static program analysis
  ☆12Updated 2 years ago
• seclab-ucr / LLift
  The source code of project "LLift" (Enhancing static analysis with LLM)
  ☆71Updated last year
• ise-uiuc / TitanFuzz
  ☆83Updated last year
• hzysvilla / Academic_LLM_Sec_Papers
  Academic Papers about LLM Application on Security
  ☆134Updated 3 months ago
• c01dkit / sec-papers-collection
  A collection of security papers on top-tier publications
  ☆43Updated 3 weeks ago
• Xidian-ICTT-GZ / Academic_Blog
  软件工程与形式化方法相关前沿工作阅读与分享
  ☆35Updated last month
• ise-uiuc / WhiteFox
  WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)
  ☆61Updated 6 months ago
• CGCL-codes / PathEval
  This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…
  ☆33Updated 2 months ago
• silverbullettt / zipper
  Precision-guided context sensitivity for pointer analysis
  ☆60Updated last year
• kangwei-zhong / Big4PaperList
  A curated list of Security Big4 papers for Privacy, Mobile Security and Access Control.
  ☆13Updated 7 months ago
• SCU-CS-Runner / SurviveSCUManual
  《四川大学计软网学生自救手册》
  ☆74Updated 6 months ago
• stan6 / se-paper
  ☆74Updated 2 years ago
• iris-sast / cwe-bench-java
  A manually vetted dataset for security vulnerability detection in Java projects
  ☆53Updated last month
• pascal-lab / Tai-e-assignments
  Tai-e assignments for static program analysis
  ☆1,152Updated 2 years ago
• chengpeng-wang / LLMSAN
  LLMSAN: Sanitizing Large Language Models in Bug Detection with Data-Flow (EMNLP Findings 2024)
  ☆73Updated last month
• PurCL / LLMSCAN
  ☆22Updated 3 months ago
• nemoworks / NJUGraduateCourses
  ☆70Updated 2 years ago
• EvanXiaa / Awesome-LLM_For-SE-Sec-Papers
  ☆26Updated 8 months ago
• chengpeng-wang / LLMDFA
  LLMDFA: Analyzing Dataflow in Code with Large Language Models (NeurIPS 2024)
  ☆115Updated 2 months ago
• UnableToCode / CompilerLab
  南京大学编译原理实验
  ☆121Updated 3 years ago
• Icyrockton / MegaVul
  MegaVul - The largest, high-quality, extensible, continuously updated, C/C++/Java vulnerability dataset
  ☆84Updated 4 months ago
• JacyCui / static-analysis
  静态分析基础教程
  ☆167Updated 2 weeks ago
• ZJU-SEC / Readings
  ☆61Updated 2 years ago
• Tyler-ytr / Compiler
  NJU 2020 编译原理实验
  ☆24Updated 2 years ago
• seclab-ucr / GPT-Expr
  Assisting Static Analysis with Large Language Models: A ChatGPT Experiment
  ☆34Updated last year