Lists (1)
Stars
Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts
Smart contract audit skills roadmap for beginners, auditors, engineers, etc.
CVE cache of the official CVE List in CVE JSON 5 format
DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects.
Smart Contract Weakness Classification and Test Cases
Scoring algo to determine the results of an AI security scan versus a source of truth.
A framework for evaluating AI audit agents using recent real-world data
Math Olympiad Agent solves IMO-level problems with a self-verification pipeline, inspired by Huang & Yang’s 2025 paper. Built with LangGraph and A2A protocol for agent collaboration, it generates r…
解决Cursor在免费订阅期间出现以下提示的问题: Your request has been blocked as our system has detected suspicious activity / You've reached your trial request limit. / Too many free trial accounts used on this machine.
An open source tool focused on software supply chain security. 墨菲安全专注于软件供应链安全，具备专业的软件成分分析（SCA）、漏洞检测、专业漏洞库。
Diaphora, the most advanced Free and Open Source program diffing tool.
Code for paper "Learning Program Representations with a Tree-Structured Transformer".
SuperSonic, a new open-source framework to allow compiler developers to integrate RL into compilers easily, regardless of their RL expertise.
Artifacts for our USENIX Security '24 paper: "Code is not Natural Language: Unlock the Power of Semantics-Oriented Graph Representation for Binary Code Similarity Detection".
CLAP(Contrastive Language-Assembly Pre-training) learns transferable binary code representations with natural language supervision
Awesome list for Binary Code Similarity Detection in 2021
An interactive git visualization and tutorial. Aspiring students of git can use this app to educate and challenge themselves towards mastery of git!
the CS missing semester Chinese version
Spring Assistant - IntelliJ plugin that assists you in developing spring applications