Pinned Loading

1. BackDroid BackDroid Public

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

   Java 45 7

2. SoMo SoMo Public

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

   Python 6

3. ZepScope ZepScope Public

   Forked from ZepScope/ZepScope-Code

   Published in USENIX Security'24: Understanding and Detecting Insecure OpenZeppelin Code in Smart Contracts

   Solidity 1

4. GPTScan GPTScan Public

   Forked from GPTScan/GPTScan

   Java 2

5. BlkVulnReport BlkVulnReport Public

   A Summary of Vulnerabilities Found in the BlockScope NDSS'23 Paper

   8

6. MtdScout MtdScout Public

   Forked from MtdScout/MtdS_Dataset

   MtdScout: Identifying Insecure Methods in Android Apps via Source-to-Bytecode Signature Generation and Tree-based Layered Search

   1