DependableSystemsLab/SolidiFI-benchmark

Stars
49
Rank 585,874 (Top 12 %)
Language
Python
License
Other
Created over 4 years ago
Updated over 2 years ago

DependableSystemsLab/SolidiFI-benchmark

DependableSystemsLab

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository of benchmarks to evaluate Solidity Smart contract analysis tools

SolidiFI

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

LLFI

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 easily tracked back to the source code. Please refer to the paper below. NOTE: If you publish a paper using LLFI, please add it to PaperLLFI.bib

TensorFI

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 paper below.

AChecker

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

LLTFI

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:

ThingsJS

ThingsJS is a framework for running JavaScript applications on IoT devices such as Raspberry PIs. For more details, see below:

pinfi

PIN-based Fault-Injector is a fault injector based on the Intel PIN tool. For more information, please refer to the following paper:

LLFI-GPU

Fault injector for GPUs based on the LLFI Fault Injection Tool

eTainter

eTainter is an automated static taint analysis tool for detecting gas-related vulnerabilities in smart contracts.

stealthy-attacks

Stealthy Attacks against Robotic Vehicles. Please read the following paper before trying out the attacks.

DNNFI

Fault Injector for Deep Neural Network (DNN) Accelerators

MIA_defense_HAMP

Code for the paper "Overconfidence is a Dangerous Thing: Mitigating Membership Inference Attacks by Enforcing Less Confident Prediction" in NDSS'24.

TensorFI2

TensorFI 2 is a fault injection framework for injecting both hardware and software faults into applications written using the TensorFlow 2 framework.

OneOS

Jujutsu

Code for the paper "Turning Your Strength against You: Detecting and Mitigating Robust and Universal Adversarial Patch Attack"

GPU-Injector

A Fault Injector for GPGPU applications

Trident

Trident is a tool to analytically model the Silent-Data Corruption (SDC) rate of a program, to replace expensive fault injection experiments. Please refer to our papers at DSN 2018 for more details (links in the README)

SwarmFuzz

TensorFI-BinaryFI

A binary fault Injector based on TensorFI fault injector. For more details, please refer to our paper

CrashFinder

CrashFinder tool and implementation

pid-piper

This is a repository for the PID-Piper project to protect Robotic Vehicles from Physical Attacks. For more info, see the paper.

ThingsJS-dashboard

ThingsJS Dashboard built with React

GPU-Trident

GPU version of Trident. For more info see website. If you find this useful, please cite the paper.

GoHigh

GoHigh for SANER'22 paper: https://blogs.ubc.ca/dependablesystemslab/2021/12/18/when-they-go-low-automated-replacement-of-low-level-functions-in-ethereum-smart-contracts/

POMABuster

POMABuster is an automated engine to detect Price Oracle Manipualtion Attack (POMA) to blockchain oracles.

Jupyter Notebook

structural-coding

Artinali

ARTINALI Invariant detector for CPS platform Security

specguard

code_poison_MIA

ISSRE19

Public repository of the tools and benchmarks used in our paper "A Tale of Two Injectors: End-to-End Comparison of IR-level and Assembly-Level Fault Injection" published in the 30th International Symposium on Software Reliability Engineering (ISSRE 2019)

AutoPatch

EdgeEngine

The code and datasets used for EdgeEngine research paper (SEC'23). EdgeEngine is a thermal-aware optimization framework for running ML inference on heterogenous edge platforms.