• This repository has been archived on 24/Feb/2023
  • Stars
    star
    2,097
  • Rank 21,163 (Top 0.5 %)
  • Language
    Solidity
  • License
    Apache License 2.0
  • Created over 6 years ago
  • Updated about 1 year ago

Reviews

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

Repository Details

Examples of Solidity security issues

No-so-smart-contracts is now in building-secure-contracts (see https://secure-contracts.com/)

(Not So) Smart Contracts

This repository contains examples of common Ethereum smart contract vulnerabilities, including code from real smart contracts. Use Not So Smart Contracts to learn about EVM and Solidity vulnerabilities, as a reference when performing security reviews, and as a benchmark for security and analysis tools.

Features

Each Not So Smart Contract includes a standard set of information:

  • Description of the unique vulnerability type
  • Attack scenarios to exploit the vulnerability
  • Recommendations to eliminate or mitigate the vulnerability
  • Real-world contracts that exhibit the flaw
  • References to third-party resources with more information

Bonus! We have also included a repository and analysis of several honeypots.

Vulnerabilities

Not So Smart Contract Description
Bad randomness Contract attempts to get on-chain randomness, which can be manipulated by users
Denial of Service Attacker stalls contract execution by failing in strategic way
Forced Ether Reception Contracts can be forced to receive Ether
Incorrect Interface Implementation uses different function signatures than interface
Integer Overflow Arithmetic in Solidity (or EVM) is not safe by default
Race Condition Transactions can be frontrun on the blockchain
Reentrancy Calling external contracts gives them control over execution
Unchecked External Call Some Solidity operations silently fail
Unprotected Function Failure to use function modifier allows attacker to manipulate contract
Variable Shadowing Local variable name is identical to one in outer scope
Wrong Constructor Name Anyone can become owner of contract due to missing constructor

Credits

These examples are developed and maintained by Trail of Bits. Contributions are encouraged and are covered under our bounty program.

If you have questions, problems, or just want to learn more, then join the #ethereum channel on the Empire Hacking Slack or contact us directly.

More Repositories

1

slither

Static Analyzer for Solidity and Vyper
Python
4,971
star
2

echidna

Ethereum smart contract fuzzer
Solidity
2,551
star
3

building-secure-contracts

Guidelines and training material to write secure smart contracts
Solidity
2,069
star
4

evm-opcodes

Ethereum opcodes and instruction reference
1,270
star
5

awesome-ethereum-security

A curated list of awesome Ethereum security references
1,256
star
6

ethersplay

EVM dissassembler
Python
816
star
7

solc-select

Manage and switch between Solidity compiler versions
Python
723
star
8

blockchain-security-contacts

Directory of security contacts for blockchain companies
395
star
9

rattle

evm binary static analysis
Python
348
star
10

pyevmasm

Ethereum Virtual Machine (EVM) disassembler and assembler
Python
341
star
11

etheno

Simplify Ethereum security analysis and testing
Python
330
star
12

ida-evm

IDA Processor Module for the Ethereum Virtual Machine (EVM)
Python
297
star
13

medusa

Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
Go
254
star
14

properties

Pre-built security properties for common Ethereum operations
Solidity
237
star
15

amarna

Amarna is a static-analyzer and linter for the Cairo programming language.
Python
147
star
16

crytic-compile

Abstraction layer for smart contract build systems
Python
137
star
17

caracal

Static Analyzer for Starknet smart contracts
Cairo
124
star
18

slither-action

Shell
121
star
19

evm_cfg_builder

EVM CFG recovery
Python
110
star
20

optik

Optik is a set of symbolic execution tools that assist smart-contract fuzzers
Python
89
star
21

echidna-streaming-series

A 6-part series on how to use Echidna on real-world codebases
Solidity
88
star
22

roundme

Rust
85
star
23

tayt

StarkNet smart contract fuzzer
Python
75
star
24

fuzz-utils

A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties
Solidity
75
star
25

diffusc

Experimental tool to ease the review of smart contracts upgrades
Solidity
69
star
26

tealer

Static Analyzer for Teal
Python
61
star
27

echidna-action

GitHub Action to run Echidna, the Ethereum smart contract fuzzer
Shell
58
star
28

fluxture

A crawling framework for blockchains and peer-to-peer systems
Python
46
star
29

attacknet

Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks
Go
43
star
30

secureum-medusa

Solidity
42
star
31

echidna-spearbit-demo

Example code for testing using Echidna explained during the Spearbit presentation
Solidity
38
star
32

slither-docs-action

Write documentation for your code in pull requests using Slither and OpenAI.
TypeScript
36
star
33

echidna-parade

Python
28
star
34

solana-lints

Lints based on the Sealevel Attacks
Rust
28
star
35

contract-explorer

Visual Studio Code integration for Slither, a Solidity static analysis framework
TypeScript
28
star
36

whipstaff

A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)
TLA
20
star
37

trailofbits-security

The Trail of Bits Truffle Security Toolbox
JavaScript
20
star
38

damn-vulnerable-defi-echidna

Solidity
13
star
39

amarna-action

Github action for the Amarna static analyzer
Shell
10
star
40

cloudexec

A general purpose foundation for cloud-based fuzzing and mutation testing jobs
Go
10
star
41

medusa-geth

A go-ethereum fork enabling additional testing capabilities for medusa
10
star
42

slightly-smarter-contracts

Python
7
star
43

slither-docs-demo

A demo on how to use the slither-docs actions (https://github.com/crytic/slither-docs-action)
Solidity
7
star
44

vscode-starknet-explorer

StarkNet support extension for VSCode. Visualize StarkNet contracts: view storage variables, external and view functions, and events.
TypeScript
6
star
45

solc

4
star
46

embark-contract-info

embark-contract-info
JavaScript
3
star
47

fuzz-vs-fv

TypeScript
3
star
48

addressarrayutils_demo

Demonstration for using echidna to test a Solidity library
Solidity
2
star
49

remix-plugin-8000

JavaScript
2
star
50

ethdam

1
star
51

slither-lsp

Python
1
star