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