Pinned Loading

1. BackDroid BackDroid Public

   Forked from VPRLab/BackDroid

   A search-based Android static analysis tool with much better performance than Amandroid and FlowDroid

   Java 1 1

2. BlockScope BlockScope Public

   Forked from VPRLab/BlockScope

   A search-based patch vs. code similarity analysis tool for discovering 100+ vulnerabilities in top blockchains

   Python

3. GPTScan GPTScan Public

   Forked from GPTScan/GPTScan

   ICSE'24: GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis

   Java

4. SoMo SoMo Public

   Forked from VPRLab/SoMo

   A specialized tool for smart contract modifier analysis based on the Modifier Dependency Graph (MDG)

   Python

5. MCPSecBench MCPSecBench Public

   MCPSecBench: A Systematic Security Benchmark and Playground for Testing Model Context Protocols

   Python 35 8

6. DeFiScope DeFiScope Public

   ASE'25: Detecting Various DeFi Price Manipulations with LLM Reasoning

   Python 5 2