mythril

Commit Graph

Author	SHA1	Message	Date
Dominik Muhs	e94aee1c82	Port example contracts to solc 0.5.0	6 years ago
raz0r	9f106a8018	add basic detection of faulty PRNGs Currently the module looks for common predictable state variables in ether transfer constraints Sample output: ==== Weak random ==== Type: Warning Contract: WeakRandom Function name: _function_0xe9874106 PC address: 1285 In the function '_function_0xe9874106' the following predictable state variables are used to determine Ether recipient: - block.coinbase TODO: - block.blockhash(block.number-1) - block.blockhash(some_block_past_256_blocks_from_now)==0 - external source of random numbers (e.g. Oraclize)	7 years ago

Author

SHA1

Message

Date

Dominik Muhs

e94aee1c82

Port example contracts to solc 0.5.0

6 years ago

raz0r

9f106a8018

add basic detection of faulty PRNGs

Currently the module looks for common predictable state variables in ether transfer constraints

Sample output:
==== Weak random ====
Type: Warning
Contract: WeakRandom
Function name: _function_0xe9874106
PC address: 1285
In the function '_function_0xe9874106' the following predictable state
variables are used to determine Ether recipient:
- block.coinbase

TODO:
- block.blockhash(block.number-1)
- block.blockhash(some_block_past_256_blocks_from_now)==0
- external source of random numbers (e.g. Oraclize)

7 years ago

2 Commits (add_concrete_stuff)