Pinned Loading

1. SimplyDroid SimplyDroid Public

   SimplyDroid: Efficient Event Sequence Simplification for Android Application (ASE 2017)

   Java 5 2

2. ContractFuzzer ContractFuzzer Public

   The Ethereum Smart Contract Fuzzer for Security Vulnerability Detection (ASE 2018)

   Go 230 85

3. CUDAsmith CUDAsmith Public

   A CUDA compiler fuzzer

   C++ 22 9

4. EOSFuzzer EOSFuzzer Public

   A fuzzer for vulnerability detection of EOSIO smart contracts.

   WebAssembly 3 3

5. Artemis Artemis Public

   An extended smart contract verification tool

   Python 3 1

6. WANA WANA Public

   A Symbolic Execution Engine for Wasm Bytecode and A Cross-Platform Smart Contract Vulnerability Detector

   Python 29 8