Skip to content
@DependableSystemsLab

Univ of British Columbia (UBC)

Dependable Systems Lab at UBC

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

  3. SolidiFI-benchmark SolidiFI-benchmark Public

    Repository of benchmarks to evaluate Solidity Smart contract analysis tools

    Python 74 22

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

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

  6. AChecker AChecker Public

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

    Python 38 4

Repositories

Showing 10 of 57 repositories
  • CrashFinder Public

    CrashFinder tool and implementation

    DependableSystemsLab/CrashFinder’s past year of commit activity
    Python 3 0 0 0 Updated Nov 2, 2025
  • DLAFI Public

    Software-Based Fault Injection for Permanent Faults in DLAs

    DependableSystemsLab/DLAFI’s past year of commit activity
    Java 2 BSD-3-Clause 0 0 0 Updated Oct 19, 2025
  • Turnstile-EuroSys26 Public

    Turnstile artifact package for EuroSys 26

    DependableSystemsLab/Turnstile-EuroSys26’s past year of commit activity
    JavaScript 0 MIT 0 0 0 Updated Sep 24, 2025
  • Reentrancy-Redux-Paper Public

    LaTex codebase for the DSN paper "Reentrancy Redux: The Evolution of Real-World Reentrancy Attacks on Blockchains"

    DependableSystemsLab/Reentrancy-Redux-Paper’s past year of commit activity
    TeX 1 0 0 0 Updated Jun 22, 2025
  • ravage Public
    DependableSystemsLab/ravage’s past year of commit activity
    Python 1 CC0-1.0 1 0 0 Updated Jun 6, 2025
  • OneOS Public
    DependableSystemsLab/OneOS’s past year of commit activity
    JavaScript 8 MIT 2 0 7 Updated Jun 2, 2025
  • MembershipTracker Public
    DependableSystemsLab/MembershipTracker’s past year of commit activity
    Python 1 MIT 0 0 0 Updated May 27, 2025
  • Remix Public

    ReMlX: Resilience for ML Ensembles using XAI at Inference against Faulty Training Data. More info can be found in our DSN'25 paper.

    DependableSystemsLab/Remix’s past year of commit activity
    Python 0 Apache-2.0 0 0 0 Updated May 7, 2025
  • Dsemble Public

    Diversity guided search for resilient ensembles. More info can be found in our SAC'25 paper.

    DependableSystemsLab/Dsemble’s past year of commit activity
    Python 0 Apache-2.0 0 0 0 Updated Dec 21, 2024
  • 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. NOTE: If you publish a paper using LLTFI, please cite the following paper:

    DependableSystemsLab/LLTFI’s past year of commit activity
    C++ 39 Apache-2.0 11 10 (2 issues need help) 0 Updated Oct 4, 2024
View all repositories

People

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

Top languages

Loading…

Most used topics

Loading…