TheDude
/
mythril
mirror of https://github.com/ConsenSys/mythril
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
4114 Commits
97 Branches
171 Tags
59 MiB
Tag: Branch: Tree: fix/boundedloops
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'fix/boundedloops'
${ noResults }
Commit Graph

4114 Commits (fix/boundedloops)
 

Author SHA1 Message Date
Nikhil Parasaram edb906d391 revert the timeout to normal
6 years ago
Nikhil Parasaram efd7c95f86 Use different SMT array for each map
6 years ago
Nikhil Parasaram 7edb263fce Improve reporting
6 years ago
Bernhard Mueller 5f11a0f38d Pass loop bound arg trough to MythrilAnalyzer
6 years ago
Bernhard Mueller 39aa6ca94e
Merge branch 'ether_thief_fix' into develop
6 years ago
Bernhard Mueller 83fe9ce6f9 Improve constraints on Ether Thief module
6 years ago
Nikhil Parasaram f287f505a3 Update docs after cli refactor
6 years ago
Nikhil Parasaram ae26b1462d
Refactor cli (#1033)
6 years ago
Nikhil Parasaram fd397ed232 Add new tests, fix an edge case and improve code and help messages
6 years ago
Nikhil Parasaram 1b24009344 Merge branch 'refactor/cli' of github.com:ConsenSys/mythril into refactor/cli
6 years ago
Nikhil Parasaram 3579da81b0 Merge branch 'develop' of github.com:ConsenSys/mythril into refactor/cli
6 years ago
Nikhil Parasaram 5252a05524
Implement EXTCODECOPY (#928)
6 years ago
Bernhard Mueller d88defd7b1
Merge pull request #1094 from ConsenSys/develop
6 years ago
Bernhard Mueller 842f5370c5
Merge branch 'master' into develop
6 years ago
Nathan e4a6a4ce9e
Merge branch 'develop' into refactor/cli
6 years ago
Nikhil Parasaram dd7b255fc9 Fix storage
6 years ago
Bernhard Mueller e5b45060d2
Update __version__.py
6 years ago
Nikhil Parasaram 41c7ce03d8 Add help command
6 years ago
Nikhil Parasaram fc6c97c3e8 Refactor with black
6 years ago
Nikhil Parasaram 6172d55fc9 Fix previous errors
6 years ago
Nikhil Parasaram 33c9e4b484 Improve cli interface
6 years ago
Nathan 4b704766ee
Merge branch 'develop' into refactor/cli
6 years ago
Bernhard Mueller a871908a59
Merge pull request #1088 from ConsenSys/bugfix/storage_lookup
6 years ago
Bernhard Mueller ee83a1aaaa
Merge branch 'develop' into bugfix/storage_lookup
6 years ago
Nathan fb8fd23b2d
Merge pull request #1059 from ConsenSys/bugfix/1055
6 years ago
Nathan 3a630363b1
Merge branch 'develop' into bugfix/1055
6 years ago
Nathan 49ef7482ba Apply black
6 years ago
Nathan ee71086f98
Merge branch 'develop' into bugfix/storage_lookup
6 years ago
Nathan ef16ac834e Fix lookup of on-chain storage
6 years ago
Bernhard Mueller 4cab451a39
Merge pull request #1087 from ConsenSys/develop
6 years ago
Bernhard Mueller d86468c830
Update setup.py
6 years ago
Bernhard Mueller 9a3bf665cc
Update __version__.py
6 years ago
Bernhard Mueller 9c40398e62
Merge pull request #1086 from ConsenSys/develop
6 years ago
Bernhard Mueller 25dd625e5c
Update config.yml
6 years ago
Bernhard Mueller b832867f5b Merge branch 'develop' of github.com:ConsenSys/mythril into develop
6 years ago
Bernhard Mueller 6a271f6cc8 Bump version
6 years ago
Bernhard Mueller 36589d83cb
Merge pull request #1081 from ConsenSys/dependency_prune_v2
6 years ago
Bernhard Mueller 62b404c4d0
Merge branch 'develop' into bugfix/1055
6 years ago
Bernhard Mueller 8843d7d0da Handle z3 exceptions when updating dependency map
6 years ago
Bernhard Mueller 15d846bd0e
Merge branch 'develop' into dependency_prune_v2
6 years ago
Bernhard Mueller c7784a7d60
Merge pull request #1084 from ConsenSys/fix/circleci-config
6 years ago
Aleksandr Sobolev 9dc390d2db Fix typo in env name and remove branch from workflow
6 years ago
Aleksandr Sobolev 90af6dbd39 Update Circle CI config
6 years ago
Bernhard Mueller 516bbc3dd0
Merge branch 'develop' into dependency_prune_v2
6 years ago
Bernhard Mueller 9b960a2985 Add missing line to fix recursive intializaton :)
6 years ago
Bernhard Mueller 560eab5304
Merge pull request #1078 from ConsenSys/feature/ignore-regressions
6 years ago
Bernhard Mueller e56f69bf1d
Merge branch 'develop' into feature/ignore-regressions
6 years ago
Bernhard Mueller 60f1742508
Merge pull request #1079 from ConsenSys/delegatecall_fix
6 years ago
Aleksandr Sobolev 01b221f914 Pass list of files to ignore false positives
6 years ago
Bernhard Mueller ca0fc79a7c Resolve conflicts
6 years ago