yulate
Follow
Lists (2)
Stars
Roadmap of learning blockchain technology and business knowledge summarized by ZJUBCA（浙大区块链协会总结的区块链知识学习路线）
User-friendly AI Interface (Supports Ollama, OpenAI API, ...)
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security
A new version of Soot with a completely overhauled architecture
A manually vetted dataset for security vulnerability detection in Java projects
一款基于污点分析的PHP扫描工具，能快速匹配从常见Source点如$_POST、$GET到Sink点system等的路径，同时支持单独对函数的扫描。
Apache InLong - a one-stop, full-scenario integration framework for massive data
oss-security mailing list Webhook Bot, using LLM for summarization, written in Rust 🦀
A rouge mysql server supports reading files from most mysql libraries of multiple programming languages.
Getting started with static program analysis. 静态程序分析入门教程。
xAST评价体系，让安全工具不再“黑盒”. The xAST evaluation benchmark makes security tools no longer a "black box".
pivot-rs is a lightweight port-forwarding and socks proxy tool written in Rust 🦀
EventMesh is a new generation serverless event middleware for building distributed event-driven applications.
A graph database that supports more than 100+ billion data, high performance and scalability (Include OLTP Engine & REST-API & Backends)
🔥 Seata is an easy-to-use, high-performance, open source distributed transaction solution.
闭源系统半自动漏洞挖掘工具，针对 jar/war/zip 进行静态代码分析，输出从source到sink的可达路径。LLM将验证路径可达性，并根据上下文给出该路径可信分数
vulhub Vulnerability Reproduction Designated Platform
KCon is a famous Hacker Con powered by Knownsec Team.
A cross-language remote procedure call(RPC) framework for rapid development of high performance distributed services.