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

• BytecodeDL / ByteCodeDL
  A declarative static analysis tool for jvm bytecode based Datalog like CodeQL
  ☆343Updated last year
• SummerSec / Static-Analysis
  静态分析笔记 Static-Analysis-Notes 程序分析笔记 资源分享
  ☆186Updated 2 years ago
• Feysh-Group / corax-community
  Corax for Java: A general static analysis framework for java code checking.
  ☆253Updated last year
• Firebasky / CodeqlLearn
  记录学习codeql的过程
  ☆389Updated 2 years ago
• ice-doom / codeql_compile
  自动反编译闭源应用，创建codeql数据库
  ☆315Updated 3 years ago
• leveryd / go-sec-code
  Go相关的安全研究
  ☆234Updated 2 years ago
• ODDFuzz / ODDFuzz
  S&P2023 Paper
  ☆39Updated 3 years ago
• 0th3rs-Security-Team / Binary-Security-Advanced-References
  二进制安全高级参考资料
  ☆122Updated 6 years ago
• waderwu / extractor-java
  CodeQL extractor for java, which don't need to compile java source
  ☆347Updated 3 years ago
• ASTTeam / SAST
  《深入理解SAST静态应用安全测试》Static Application Security Testing.
  ☆368Updated 2 months ago
• DasSecurity-HatLab / HatLab_IOT_Wiki
  海特实验室物联网安全知识库
  ☆159Updated 4 years ago
• berTrAM888 / RoarCTF-Writeup-some-Source-Code
  没有怎么整理，大家将就看吧，有问题发一个issue给我
  ☆91Updated 6 years ago
• SycloverTeam / ctfbox
  A box for CTF challenges with some sugar functions, Just Enjoy it
  ☆33Updated 2 years ago
• he1m4n6a / Go_Security_Study
  golang安全学习总结
  ☆172Updated 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
• ice-doom / CodeQLRule
  个人使用CodeQL编写的一些规则
  ☆178Updated 3 years ago
• team-rois / RCTF2021
  ☆38Updated 4 years ago
• Anemone95 / taint-benchmark
  A benchmark to evaluate taint analysis
  ☆28Updated 3 years ago
• D-3CTF / D3CTF-2019-Challenges
  ☆78Updated 5 years ago
• NeSE-Team / XNUCA2020Qualifier
  writeups for XNUCA2020Qualifier
  ☆70Updated 5 years ago
• 5wimming / gadgetinspector
  利用链、漏洞检测工具
  ☆374Updated last year
• chicharitomu14 / Android-Security-Notes-personal
  个人整理的Android安全学习笔记
  ☆74Updated 6 years ago
• Vu1nT0tal / firmeye
  IoT固件漏洞挖掘工具
  ☆248Updated 3 years ago
• Vu1nT0tal / SecurityDalao
  安全大佬 Top 100
  ☆67Updated 3 years ago
• Ramos-dev / graph4code
  超硬核！使用图数据技术发现软件漏洞
  ☆185Updated 4 years ago
• G4rb3n / IoT_Sec_Tutorial
  IoT安全教程
  ☆296Updated 5 years ago
• threedr3am / gadgetinspector
  一个利用ASM对字节码进行污点传播分析的静态代码审计应用（添加了大量代码注释，适合大家进行源码学习）。也加入了挖掘Fastjson反序列化gadget chains和SQLInject（JdbcTemplate、MyBatis、JPA、Hibernate、原生jdbc等）静…
  ☆454Updated 3 years ago
• coco413 / SecMind
  安全导图
  ☆259Updated last year
• DasSecurity-HatLab / IoT-CTF-2020
  2020西湖论剑IOT闯关赛赛后开放资源
  ☆57Updated 5 years ago
• fullwaywang / QlRules
  Auto-generated CodeQL rules for matching CVE vulnerabilities and variants.
  ☆183Updated last year