Popular repositories

1. fabric-verify fabric-verify Public

   Formal Verification of Hyperledger Fabric Chaincode. Example for cross border inter-bank asset transfer in fabric 1.4

   LLVM 3 1

2. torchfuzz torchfuzz Public

   Tensorfuzz for PyTorch models so it's torchfuzz.

   Python 1

3. klee klee Public

   Forked from klee/klee

   KLEE Symbolic Execution Engine

   C++

4. ncc ncc Public

   Forked from spcl/ncc

   Neural Code Comprehension: A Learnable Representation of Code Semantics

   Python

5. AFLplusplus AFLplusplus Public

   Forked from AFLplusplus/AFLplusplus

   The fuzzer afl++ is afl with community patches, AFLfast power schedules, qemu 3.1 upgrade + laf-intel support, MOpt mutators, InsTrim instrumentation, unicorn_mode, Redqueen and a lot more!

   C

6. AxProf AxProf Public

   Forked from uiuc-arc/AxProf

   A framework for accuracy profiling of randomized approximate algorithm implementations

   Python