Popular repositories Loading

1. SolidiFI SolidiFI Public

   SolidiFI is an automated and systematic framework for evaluating smart contracts' static analysis tools via Bug Injection

   Solidity 71 8

2. LLFI LLFI Public

   LLFI is an LLVM based fault injection tool, that injects faults into the LLVM IR of the application source code. The faults can be injected into specific program points, and the effect can be easil…

   Java 66 36

3. TensorFI TensorFI Public

   TensorFI is a fault injection framework for injecting both hardware and software faults into applications written using the TensorFlow framework. You can find more information about TensorFI in the…

   Python 50 23

4. SolidiFI-benchmark SolidiFI-benchmark Public

   Repository of benchmarks to evaluate Solidity Smart contract analysis tools

   Python 46 21

5. AChecker AChecker Public

   AChecker (Access Control Checker) is an automated static analysis tool for detecting access control vulnerabilities in smart contracts.

   Python 28 4

6. LLTFI LLTFI Public

   LLTFI is a tool, which is an extension of LLFI, allowing users to run fault injection experiments on C/C++, TensorFlow and PyTorch applications at the LLVM IR level. Please refer to the paper below…

   C++ 27 11