Skip to content
OpenTrain AIFor AI Companies

Vandal: A Scalable Security Analysis Framework for Smart Contracts

Published Sep 1, 2018
arXiv PDF
Researcher verdict
Starting point
Use as implementation starting point
Benchmark evidence
Missing
Not verified yet
Time to first repro
A few hours
Fast first run
Risk flags
1
Review before use

Results and benchmarks

Freshness tier: cold
Vandal: A Scalable Security Analysis Framework for Smart Contracts is the primary contribution described in this paper.

Implementation

Best maintained implementation now

Recommended
Confidence: High
Reproducibility: Moderate
usyd-blockchain/vandal

Static program analysis framework for Ethereum smart contract bytecode.

167 stars · 44 forks · Last push Apr 13, 2026 · BSD-3-Clause license

  • License
  • CI
  • Dependencies
  • Docker

Official implementation from Papers with Code · Repository link is mentioned in the paper metadata · Strong overlap with paper title keywords

Why this implementation
Confidence: high

usyd-blockchain/vandal is the strongest maintained implementation based on ranking signals. License is declared (BSD-3-Clause). Dependency/environment manifests are present.

Open usyd-blockchain/vandal
Reproduction risks
  • No CI workflows detected
  • Selected usyd-blockchain/vandal as the strongest maintained implementation for new work.
  • Includes dependency/environment manifest signals.
  • Repository activity is within the last 24 months.

Reproduction readiness

Time to first repro: hours
Last checked: Oct 27, 2026

Setup required

Dependencies pinned, manual setup needed

  • usyd-blockchain/vandal has requirements.txt but requires manual environment setup.
  • Last push was 199 days ago, so expect possible dependency version conflicts.
  • No Dockerfile, so you will set up the environment manually.
  • No CI pipeline, so test coverage is unknown.
Open usyd-blockchain/vandal

Quick start

git clone https://github.com/usyd-blockchain/vandal.git
pip install -r requirements.txt

Hugging Face artifacts

No direct paper-linked artifacts were found. Showing strongest curated related artifacts for faster exploration.

Models

Curated Related

Broaden model search

vandal scalable security analysis

Datasets

No trustworthy datasets matches right now.

Search datasets on Hugging Face

Spaces

No trustworthy spaces matches right now.

Search spaces on Hugging Face

Research context

Evaluation and human feedback data

Open this paper in HFEPX to review benchmark signals, evaluation modes, and human-feedback protocol context.

Open in HFEPX

Data includes links from Papers with Code ( CC-BY-SA-4.0 ).