SummerSec / Static-Analysis
静态分析笔记 Static-Analysis-Notes 程序分析笔记 资源分享
☆166Updated last year
Related projects: ⓘ
- 静态分析及代码审计自动化相关资料收集☆281Updated 2 years ago
- A declarative static analysis tool for jvm bytecode based Datalog like CodeQL☆325Updated 8 months ago
- 二进制安全高级参考资料☆118Updated 4 years ago
- 记录学习codeql的过程☆347Updated last year
- IoT安全教程☆271Updated 4 years ago
- Corax for Java: A general static analysis framework for java code checking.☆225Updated 3 weeks ago
- IoT固件漏洞挖掘工具☆226Updated last year
- 安全大佬 Top 100☆65Updated 2 years ago
- 智能家居安全相关参考。The related reference of smart home security including: paper, website, topic of Mi IoT.☆72Updated 2 years ago
- 自动反编译闭源应用,创建codeql数据库☆297Updated 2 years ago
- S&P2023 Paper☆39Updated 2 years ago
- ☆132Updated this week
- writeups for XNUCA2020Qualifier☆70Updated 3 years ago
- 2020西湖论剑IOT闯关赛赛后开放资源☆55Updated 3 years ago
- Auto-generated CodeQL rules for matching CVE vulnerabilities and variants.☆146Updated this week
- 零基础入门V8引擎漏洞挖掘☆232Updated 5 months ago
- 📖源码安全相关的论文收集(污点分析/符号执行/模糊测试)☆20Updated 2 years ago
- ☆42Updated 3 years ago
- Taint analysis implementation based on Heros and Soot☆39Updated 4 months ago
- CodeQL extractor for java, which don't need to compile java source☆315Updated last year
- 超硬核!使用图数据技术发现软件漏洞☆180Updated 3 years ago
- IDA Pro每周小技巧☆266Updated last year
- 海特实验室物联网安全知识库☆134Updated 3 years ago
- Personal Blog/主记录漏洞挖掘相关研究(文章位于issues)☆232Updated 4 years ago
- ☆58Updated last year
- ☆80Updated 4 years ago
- ☆42Updated this week
- ☆53Updated 4 years ago
- ☆37Updated 3 years ago
- Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis☆72Updated 6 months ago