mythril

Author	SHA1	Message	Date
Bernhard Mueller	bb58211ede	Exception (0xfe) detection and examples	7 years ago
Bernhard Mueller	125336ca11	Update invalid opcode module	7 years ago
Bernhard Mueller	b820f5255f	Remove integer overflow example	7 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
Bernhard Mueller	5d00492bfc	Add Solidity examples	7 years ago
Bernhard Mueller	2c96300d93	Add more solidity examples	7 years ago