Popular repositoriesLoading

1. SolidiFISolidiFIPublic

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

   Solidity 82 8

2. LLFILLFIPublic

   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 77 33

3. SolidiFI-benchmarkSolidiFI-benchmarkPublic

   Repository of benchmarks to evaluate Solidity Smart contract analysis tools

   Python 73 22

4. TensorFITensorFIPublic

   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 57 23

5. LLTFILLTFIPublic

   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++ 39 11

6. ACheckerACheckerPublic

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

   Python 38 4

This organization has no public members. You must be a member to see who’s a part of this organization.