COLA-Laboratory / issta2020Links
This repository contains materials related to our DeepSQLi paper published in ISSTA 2020.
☆20Updated 4 years ago
Alternatives and similar repositories for issta2020
Users that are interested in issta2020 are comparing it to the libraries listed below
Sorting:
- ☆21Updated 5 years ago
- A curated list of audit rules which extract from Source Code Auditing tools.☆15Updated 5 years ago
- A grey-box web application Fuzzer☆23Updated last year
- 一个搜索网络安全领域顶会论文的小工具☆92Updated 3 months ago
- ☆14Updated 2 years ago
- A benchmark to evaluate taint analysis☆28Updated 3 years ago
- 静态分析及代码审计自动化相关资料收集☆297Updated 3 years ago
- Low-level RASP: Protecting Applications Implemented in High-level Programming Languages☆68Updated 3 weeks ago
- CVE Data Analysis, CVE Monitor, CVE EXP Prediction Based on Deep Learning. 1999-2020年存量CVE数据分析、监控CVE增量更新、基于深度学习的CVE EXP预测和自动化推送☆175Updated 2 years ago
- Corax for Java: A general static analysis framework for java code checking.☆253Updated 11 months ago
- S&P2023 Paper☆39Updated 3 years ago
- 企业级安全智能化实践☆69Updated 3 years ago
- 静态分析笔记 Static-Analysis-Notes 程序分析笔记 资源分享☆186Updated 2 years ago
- 《深入理解Semgrep》Finding vulnerabilities with Semgrep.☆57Updated 2 years ago
- Auto-generated CodeQL rules for matching CVE vulnerabilities and variants.☆181Updated last year
- Works about detecting vulnerable using ML.☆87Updated 5 years ago
- SecCodeBench is a benchmark suite focusing on evaluating the security of code generated by large language models (LLMs).☆75Updated 3 weeks ago
- ObjLupAnsys is a tool to detect prototype pollution vulnerabilities in Node.js packages. This project is written in Python and JavaScript…☆25Updated 3 years ago
- ☆43Updated 2 years ago
- 基于机器学习的 Webshell 检测 (OPCode -> N-Gram -> TF-IDF -> XGBoost)☆46Updated 4 years ago
- ☆108Updated last year
- A declarative static analysis tool for jvm bytecode based Datalog like CodeQL☆343Updated last year
- 个人使用CodeQL编写的一些规则☆176Updated 3 years ago
- 中文网络安全运营领域开源语料库☆38Updated 3 months ago
- 基于污点分析的JSP Webshell检测工具,模拟JVM的栈帧操作进行数据流分析,可以检测出各种变形的JSP Webshell☆21Updated 3 years ago
- JAVA IAST Example☆49Updated 3 years ago
- ☆84Updated 4 years ago
- 超硬核!使用图数据技术发现软件漏洞☆185Updated 4 years ago
- ☆27Updated last year
- 基于Java ASM技术和GadgetInspector的原理,尝试实现一个自动Java代码审计工具。目前做到了可控参数分析和数据流跟踪分析☆38Updated 4 years ago