JacyCui / static-analysis
静态分析基础教程
☆147Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for static-analysis
- 南京大学《软件分析》课程课后作业(非Bamboo) NJU's software analysis homework; ... Not official, just a reference☆283Updated 2 years ago
- A declarative static analysis tool for jvm bytecode based Datalog like CodeQL☆327Updated 10 months ago
- 带你畅游《软件分析》☆273Updated 2 years ago
- 静态分析笔记 Static-Analysis-Notes 程序分析笔记 资源分享☆171Updated last year
- Corax for Java: A general static analysis framework for java code checking.☆233Updated last month
- Taint analysis implementation based on Heros and Soot☆40Updated 6 months ago
- ☆79Updated 2 months ago
- 二进制安全高级参考资料☆119Updated 4 years ago
- ☆20Updated 2 years ago
- xAST评价体系，让安全工具不再“黑盒”. The xAST evaluation benchmark makes security tools no longer a "black box".☆335Updated this week
- 零基础入门V8引擎漏洞挖掘☆237Updated 7 months ago
- 静态分析及代码审计自动化相关资料收集☆283Updated 2 years ago
- A neo4j procedure for tabby☆114Updated 5 months ago
- A structure-aware grey box fuzzer based on modeling the input processing logic.☆159Updated 3 weeks ago
- 两年二进制安全pwn方向学习笔记（包含linux内核，程序链接装载，libc库源码等）☆32Updated 5 months ago
- Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis☆73Updated 7 months ago
- 2023 第七届强网杯全国网络安全挑战赛☆28Updated 10 months ago
- 自动反编译闭源应用，创建codeql数据库☆298Updated 2 years ago
- ☆52Updated 3 months ago
- oh my soot !☆87Updated 2 years ago
- 《深入理解SAST静态应用安全测试》Static Application Security Testing.☆318Updated 6 months ago
- S&P2023 Paper☆39Updated 2 years ago
- CodeQL extractor for java, which don't need to compile java source☆322Updated last year
- a dataflow analysis framework implemented in Go, like soot☆29Updated 2 years ago
- 用来将Tai-e改造为开箱即用的静态代码安全分析框架的一些demo☆33Updated 6 months ago
- 静态程序分析工具 主要生成方法的CFG和.java文件的AST☆126Updated last year
- 记录学习codeql的过程☆363Updated last year
- Archive of AAA CTF 2022 (XCTF competition)☆76Updated this week
- Here is Hacking-Group-0872-Slide☆29Updated 6 months ago