AIS2Lab

Pinned Loading

1. BackDroidBackDroidPublic

   Forked from VPRLab/BackDroid

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

   Java 1 1

2. BlockScopeBlockScopePublic

   Forked from VPRLab/BlockScope

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

   Python

3. GPTScanGPTScanPublic

   Forked from GPTScan/GPTScan

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

   Java

4. SoMoSoMoPublic

   Forked from VPRLab/SoMo

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

   Python

5. MCPSecBenchMCPSecBenchPublic

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

   Python 35 8

6. DeFiScopeDeFiScopePublic

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

   Python 5 2