3919 Commits (notify-unreachable-code)

 

All Branches   

Search

Author	SHA1	Message	Date
Bernhard Mueller	72ce0b7569	Update gitignore	7 years ago
Bernhard Mueller	4348e21515	Bump version number	7 years ago
Bernhard Mueller	7590bf7e51	Update ether_send module	7 years ago
Bernhard Mueller	b820f5255f	Remove integer overflow example	7 years ago
Bernhard Mueller	bd84d73f39	Remove integer overflow check (performance, false positives)	7 years ago
Bernhard Mueller	f57c30310b	Usability: Auto-create data dir and sigs file	7 years ago
Bernhard Mueller	7501c7fd10	Merge branch 'master' of github.com:b-mueller/mythril	7 years ago
Bernhard Mueller	7f98e3cda7	Add debugging code	7 years ago
Bernhard Mueller	cb3626b769	Update README.md	7 years ago
Bernhard Mueller	2b53bf5320	Merge pull request #41 from egodigitus/master ... Installation commands	7 years ago
egodigitus	751242cfbd	Installation commands ... python3, pip3 & mkdir ~/.mythril	7 years ago
Bernhard Mueller	247a36eb59	Update README.md	7 years ago
Bernhard Mueller	7fe1baad0f	Update README.md	7 years ago
Bernhard Mueller	eaf7dbe7ea	Add cmdline argument for configuring symbolic exec depth	7 years ago
Bernhard Mueller	36b37d4c58	Update setup.py	7 years ago
Bernhard Mueller	318666315f	Update README.md	7 years ago
Bernhard Mueller	1a8b7ef510	Merge pull request #35 from Raz0r/feature/weak-random-blockhash ... [weak random] add blockhash dependent calls detection	7 years ago
Bernhard Mueller	e28c525af1	Merge pull request #37 from 10a7/master ... Add retcode error checking, solc_binary argument	7 years ago
10a7	522161c4b8	Add retcode error checking, solc_binary argument ... Mythril `compile_solidity`: * doesn't use its own `solc_binary` argument * doesn't offer NIX signal tracking if `solc` has internal fatal issues, such as SIGSEGV This commit adds a more verbose message for a fatal error in `solc` and uses the `solc_binary` argument.	7 years ago
raz0r	e1892c8476	[weak random] add blockhash dependent calls detection	7 years ago
Bernhard Mueller	f5ed03772e	Update security_checks.md	7 years ago
Bernhard Mueller	3cbf9c0e32	Bump laser version & update setup.py	7 years ago
Bernhard Mueller	4777800bc9	Symbolic analysis - add 'data' member variable to call op	7 years ago
Bernhard Mueller	f517d54468	Merge pull request #33 from Raz0r/feature/weak-random ... add basic detection of faulty PRNGs	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	bdafa66f3d	Merge branch 'master' of github.com:b-mueller/mythril	7 years ago
Bernhard Mueller	5d00492bfc	Add Solidity examples	7 years ago
Bernhard Mueller	2c96300d93	Add more solidity examples	7 years ago
Bernhard Mueller	dd030110f4	Update README.md	7 years ago
Bernhard Mueller	3c3a74336f	Merge branch 'master' of github.com:b-mueller/mythril	7 years ago
Bernhard Mueller	87485e228b	Fix crash in ether_send.py	7 years ago
Bernhard Mueller	7d7a1c850e	Update README.md	7 years ago
Bernhard Mueller	06884be600	Remove debugging code	7 years ago
Bernhard Mueller	a00dd31d78	Remove debugging code	7 years ago
Bernhard Mueller	0907cd3f3f	Use correct unsigned division operator in int overflow check	7 years ago
Bernhard Mueller	267e234abf	Clean up examples	7 years ago
Bernhard Mueller	828b6f1181	Update setup.py	7 years ago
Bernhard Mueller	bd478bae7a	Enhance ether_send module	7 years ago
Bernhard Mueller	577669f777	Update integer overflows	7 years ago
Bernhard Mueller	9ad444e58f	Add detection of MUL overflow	7 years ago
Bernhard Mueller	6b09361314	Update setup.py	7 years ago
Bernhard Mueller	f45009b465	Refactor	7 years ago
Bernhard Mueller	552a8b2de3	Update unit tests	7 years ago
Bernhard Mueller	775152b1ce	Handle invalid contract addresses	7 years ago
Bernhard Mueller	fccdc757a0	Detect and ignore swarm hash at end of bytecode	7 years ago
Bernhard Mueller	aa9ff9a75f	Merge branch 'master' of github.com:b-mueller/mythril	7 years ago
Bernhard Mueller	257b675bcf	Refactor	7 years ago
Bernhard Mueller	65ae5a5205	Update security_checks.md	7 years ago
Bernhard Mueller	84cf11ecbf	Add integer overflow detection for ADD	7 years ago
Bernhard Mueller	67cc17cad3	Update setup.py & bump LASER version	7 years ago