27 Commits (notify-unreachable-code)

Author	SHA1	Message	Date
Nikhil Parasaram	78a720ed31	Fix merge conflicts	6 years ago
Nikhil Parasaram	420a16e08e	Fix more require statements in rubixi	6 years ago
Nikhil Parasaram	80fa123639	Fix rubixi.sol and walletlibrary.sol	6 years ago
Nikhil Parasaram	1c16bf7741	Fix merge conflicts	6 years ago
Joran Honig	61f937b575	fix bug in independence solver	6 years ago
Dominik Muhs	0bdc7ed48e	Optimize imports	6 years ago
Dominik Muhs	a047f564b3	Fix example contract modifiers	6 years ago
Dominik Muhs	e94aee1c82	Port example contracts to solc 0.5.0	6 years ago
Joran Honig	2774fc65a2	update hashing technique used	6 years ago
Joran Honig	d37ba5effc	Revert changes	6 years ago
Joran Honig	f7ee3e5fe3	Add unique bitvecval creation to state	6 years ago
Bernhard Mueller	def580de7d	Add real-world examples from https://blog.sigmaprime.io/solidity-security.html	6 years ago
Bernhard Mueller	141fec3d11	Fix function names in CFG	7 years ago
Bernhard Mueller	fba6732dfa	Refactor analysis modules	7 years ago
Bernhard Mueller	a2d98ec5ef	Remove old reentrancy example	7 years ago
Bernhard Mueller	06209d66d9	Improve detection of state changes after external call	7 years ago
Bernhard Mueller	85d75846e5	Bump LASER version	7 years ago
Bernhard Mueller	e2eee11218	Display func name in CFG, add example	7 years ago
Bernhard Mueller	ab1b686ed1	Change markdown frormatting, add -i cmdline arg	7 years ago
Bernhard Mueller	62eb0b9677	Finalize return value example	7 years ago
Bernhard Mueller	f4e59047ef	Add require statement to exception test file	7 years ago
Bernhard Mueller	c15b35e2d0	Rewrite 'unchecked_retval' module	7 years ago
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