Alternatives and similar repositories for Static-Analysis-and-Automated-Code-Audit

Users that are interested in Static-Analysis-and-Automated-Code-Audit are comparing it to the libraries listed below

• SummerSec / Static-Analysis
  静态分析笔记 Static-Analysis-Notes 程序分析笔记 资源分享
  ☆185Updated 2 years ago
• BytecodeDL / ByteCodeDL
  A declarative static analysis tool for jvm bytecode based Datalog like CodeQL
  ☆342Updated last year
• Feysh-Group / corax-community
  Corax for Java: A general static analysis framework for java code checking.
  ☆254Updated 10 months ago
• Firebasky / CodeqlLearn
  记录学习codeql的过程
  ☆389Updated 2 years ago
• leveryd / go-sec-code
  Go相关的安全研究
  ☆232Updated last year
• ice-doom / codeql_compile
  自动反编译闭源应用，创建codeql数据库
  ☆314Updated 3 years ago
• ODDFuzz / ODDFuzz
  S&P2023 Paper
  ☆39Updated 3 years ago
• waderwu / extractor-java
  CodeQL extractor for java, which don't need to compile java source
  ☆348Updated 2 years ago
• ASTTeam / SAST
  《深入理解SAST静态应用安全测试》Static Application Security Testing.
  ☆356Updated this week
• 0th3rs-Security-Team / Binary-Security-Advanced-References
  二进制安全高级参考资料
  ☆121Updated 5 years ago
• berTrAM888 / RoarCTF-Writeup-some-Source-Code
  没有怎么整理，大家将就看吧，有问题发一个issue给我
  ☆91Updated 5 years ago
• hudangwei / codemillx
  codemillx is a tool for CodeQL, extract the comments in the code and generate codeql module. 强化Go开源项目安全检测(内含开源项目漏洞挖掘方法)
  ☆205Updated 3 years ago
• Ramos-dev / graph4code
  超硬核！使用图数据技术发现软件漏洞
  ☆184Updated 4 years ago
• DasSecurity-HatLab / HatLab_IOT_Wiki
  海特实验室物联网安全知识库
  ☆156Updated 4 years ago
• he1m4n6a / Go_Security_Study
  golang安全学习总结
  ☆171Updated 5 years ago
• Vu1nT0tal / SecurityDalao
  安全大佬 Top 100
  ☆68Updated 3 years ago
• ice-doom / CodeQLRule
  个人使用CodeQL编写的一些规则
  ☆176Updated 3 years ago
• Anemone95 / taint-benchmark
  A benchmark to evaluate taint analysis
  ☆29Updated 3 years ago
• G4rb3n / IoT_Sec_Tutorial
  IoT安全教程
  ☆295Updated 5 years ago
• D-3CTF / D3CTF-2019-Challenges
  ☆78Updated 5 years ago
• coco413 / SecMind
  安全导图
  ☆259Updated last year
• threedr3am / gadgetinspector
  一个利用ASM对字节码进行污点传播分析的静态代码审计应用（添加了大量代码注释，适合大家进行源码学习）。也加入了挖掘Fastjson反序列化gadget chains和SQLInject（JdbcTemplate、MyBatis、JPA、Hibernate、原生jdbc等）静…
  ☆453Updated 3 years ago
• alipay / ant-application-security-testing-benchmark
  xAST评价体系，让安全工具不再“黑盒”. The xAST evaluation benchmark makes security tools no longer a "black box".
  ☆423Updated 3 weeks ago
• fullwaywang / QlRules
  Auto-generated CodeQL rules for matching CVE vulnerabilities and variants.
  ☆180Updated last year
• NeSE-Team / XNUCA2020Qualifier
  writeups for XNUCA2020Qualifier
  ☆70Updated 4 years ago
• YDCloudSecurity / cloud-security-guides
  ☆173Updated 2 years ago
• h2-stack / LL-RASP
  Low-level RASP: Protecting Applications Implemented in High-level Programming Languages
  ☆65Updated 2 years ago
• team-su / SUCTF-2019
  ☆114Updated 5 years ago
• DasSecurity-HatLab / IoT-CTF-2020
  2020西湖论剑IOT闯关赛赛后开放资源
  ☆57Updated 4 years ago
• 5wimming / gadgetinspector
  利用链、漏洞检测工具
  ☆371Updated last year