Univ of British Columbia (UBC)

Popular repositories Loading

1. SolidiFI SolidiFIPublic

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

   Solidity 84 8

2. LLFI LLFIPublic

   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 79 32

3. SolidiFI-benchmark SolidiFI-benchmarkPublic

   Repository of benchmarks to evaluate Solidity Smart contract analysis tools

   Python 79 23

4. TensorFI TensorFIPublic

   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 62 24

5. LLTFI LLTFIPublic

   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++ 45 12

6. AChecker ACheckerPublic

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

   Python 41 5