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
  ☆336Updated last year
• Firebasky / CodeqlLearn
  记录学习codeql的过程
  ☆385Updated 2 years ago
• ice-doom / codeql_compile
  自动反编译闭源应用，创建codeql数据库
  ☆308Updated 3 years ago
• Feysh-Group / corax-community
  Corax for Java: A general static analysis framework for java code checking.
  ☆252Updated 7 months ago
• leveryd / go-sec-code
  Go相关的安全研究
  ☆227Updated last year
• ASTTeam / SAST
  《深入理解SAST静态应用安全测试》Static Application Security Testing.
  ☆346Updated last year
• waderwu / extractor-java
  CodeQL extractor for java, which don't need to compile java source
  ☆342Updated 2 years ago
• 0th3rs-Security-Team / Binary-Security-Advanced-References
  二进制安全高级参考资料
  ☆121Updated 5 years ago
• ODDFuzz / ODDFuzz
  S&P2023 Paper
  ☆39Updated 2 years ago
• DasSecurity-HatLab / HatLab_IOT_Wiki
  海特实验室物联网安全知识库
  ☆154Updated 4 years ago
• Ramos-dev / graph4code
  超硬核！使用图数据技术发现软件漏洞
  ☆184Updated 3 years ago
• berTrAM888 / RoarCTF-Writeup-some-Source-Code
  没有怎么整理，大家将就看吧，有问题发一个issue给我
  ☆91Updated 5 years ago
• DasSecurity-HatLab / IoT-CTF-2020
  2020西湖论剑IOT闯关赛赛后开放资源
  ☆58Updated 4 years ago
• Vu1nT0tal / SecurityDalao
  安全大佬 Top 100
  ☆68Updated 3 years ago
• G4rb3n / IoT_Sec_Tutorial
  IoT安全教程
  ☆293Updated 5 years ago
• SycloverTeam / ctfbox
  A box for CTF challenges with some sugar functions, Just Enjoy it
  ☆33Updated 2 years ago
• hudangwei / codemillx
  codemillx is a tool for CodeQL, extract the comments in the code and generate codeql module. 强化Go开源项目安全检测(内含开源项目漏洞挖掘方法)
  ☆204Updated 3 years ago
• threedr3am / gadgetinspector
  一个利用ASM对字节码进行污点传播分析的静态代码审计应用（添加了大量代码注释，适合大家进行源码学习）。也加入了挖掘Fastjson反序列化gadget chains和SQLInject（JdbcTemplate、MyBatis、JPA、Hibernate、原生jdbc等）静…
  ☆449Updated 3 years ago
• NeSE-Team / XNUCA2020Qualifier
  writeups for XNUCA2020Qualifier
  ☆70Updated 4 years ago
• he1m4n6a / Go_Security_Study
  golang安全学习总结
  ☆170Updated 5 years ago
• fullwaywang / QlRules
  Auto-generated CodeQL rules for matching CVE vulnerabilities and variants.
  ☆176Updated 9 months ago
• ice-doom / CodeQLRule
  个人使用CodeQL编写的一些规则
  ☆176Updated 3 years ago
• D-3CTF / D3CTF-2019-Challenges
  ☆78Updated 5 years ago
• 5wimming / gadgetinspector
  利用链、漏洞检测工具
  ☆370Updated 11 months ago
• coco413 / SecMind
  安全导图
  ☆257Updated last year
• safe6Sec / CodeqlNote
  Codeql学习笔记
  ☆876Updated 3 years ago
• Vu1nT0tal / firmeye
  IoT固件漏洞挖掘工具
  ☆241Updated 2 years ago
• team-su / SUCTF-2019
  ☆114Updated 5 years ago
• Anemone95 / taint-benchmark
  A benchmark to evaluate taint analysis
  ☆29Updated 3 years ago