Pinned Loading

1. BackDroid BackDroid Public

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

   Java 50 7

2. BlockScope BlockScope Public

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

   Python 4

3. SoMo SoMo Public

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

   Python 9

4. GPTScan GPTScan Public

   Forked from GPTScan/GPTScan

   Java 1

5. AGChain AGChain Public

   A Blockchain-based Gateway for Trustworthy App Delegation from Mobile App Markets [ACM DLT'24]

   Java 1

6. SelfDefend-Code SelfDefend-Code Public

   Forked from selfdefend/Code

   SelfDefend: LLMs Can Defend Themselves against Jailbreaking in a Practical Manner; USENIX Security 2025

   Python 2