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

502 Commits (fix/boundedloops)

Author SHA1 Message Date
Nikhil Parasaram ca4107833a Fix gasprice and return1_
6 years ago
Nikhil Parasaram 475398deb4 Refactor the code
6 years ago
Nikhil Parasaram f02eaa8cd6 Fix the Add randomTests, SystemOpsTests and IOandFlowTests
6 years ago
Nikhil Parasaram 231e3ae8fc Mock leveldb and fire_lasers tests
6 years ago
Nikhil Parasaram 0dcc70fbc5 Add documentation and remove pycache
6 years ago
Nikhil Parasaram 1c16bf7741 Fix merge conflicts
6 years ago
Nikhil Parasaram 4f994f3416 Fix the jsonv2 tests
6 years ago
Bernhard Mueller d229c0b309 Fix a couple of typos
6 years ago
Nathan 0a992bb6d9 Create helper functions for operations in bitvec.py
6 years ago
Nikhil Parasaram 8e46c9be42 Detect State changes after external calls
6 years ago
Nikhil Parasaram 57478e7cce Fix gitignore and make a change to config tests
6 years ago
Nikhil Parasaram 93c1e85433 Add config tests
6 years ago
Nikhil Parasaram 5839f22cec Add test for 100% leveldb coverage
6 years ago
Nikhil Parasaram 2bd2f9aafd Add leveldb tests
6 years ago
Nathan 355e214447 Create test output folders if they don't exist
6 years ago
Joran Honig 42edd276c3 move solver files to separate directory
6 years ago
Nathan bfed409e45 Add bitvecfunc tests
6 years ago
Joran Honig 103361f555 adapt gasvalue for testcases
6 years ago
Joran Honig 734d6c9b4a add ident argument
6 years ago
Nikhil Parasaram d15ff852ee Add graph analysis test
6 years ago
Nikhil Parasaram 7752b16021 Refactor code
6 years ago
Nikhil Parasaram 2c7d8c51ea Add type hints to all classes in mythril module
6 years ago
Nikhil Parasaram d3e200bb22 Fix analysis tests
6 years ago
Nikhil Parasaram cb9baaead7 Add analysis tests
6 years ago
Nikhil Parasaram d91ae2bc69 Add more disassebler tests
6 years ago
Nikhil Parasaram 139222e431 Add Basic storage retrieval tests
6 years ago
Nikhil Parasaram 1a63fb20ef Refactor mythril/mythril.py
6 years ago
Bernhard Mueller ef98d051c2 More fixes
6 years ago
Bernhard Mueller 43c774cdf0 Improve issue descriptions in suicide modules, fix typo
6 years ago
Nikhil Parasaram f9aafe8a9f Add a execution-time require checker flag
6 years ago
Joran Honig 105feb44ac fix calldata tests
6 years ago
Joran Honig 3761a2cbef add check to tests
6 years ago
Joran Honig b336a18132 refactor solvers to work based of * variable
6 years ago
Joran Honig 1a65e8e4c9 adapt tests according to style rules
6 years ago
Joran Honig 79aad17fde add some basic model tests and fix discovered bug
6 years ago
Joran Honig 4fe49aa260 add independence solver tests
6 years ago
Joran Honig 5adb4cd2d0 add dependence map test
6 years ago
Joran Honig 8014e546c0 add create bucket test
6 years ago
Joran Honig a0dd061424 add _get_expr_variable tests for independence solver
6 years ago
Nikhil Parasaram 6322b4d3c7 Fix the timelimit of calls.sol execution
6 years ago
Joran Honig 9a91fc8c31 indent test results jsonv2
6 years ago
Joran Honig 5594e306fb adapt tests to changes in the new report
6 years ago
Nikhil Parasaram 7491fa6dbf Remove redundant If condition in report.py and remove postfix assignment in tests
6 years ago
Bernhard Mueller ed5354297a Improve integer module descriptions
6 years ago
Nikhil Parasaram 2b668a7a4f fix merge conflicts with tests
6 years ago
Bernhard Mueller b4eabf032e Fix a couple of things
6 years ago
Bernhard Mueller 76bbb9771a Update formatting of swcID field
6 years ago
Nikhil Parasaram d9350d2334 Use proper title for integer underflow
6 years ago
Bernhard Mueller 6f1aba646f Beautifully format all JSON files
6 years ago
Bernhard Mueller 20e5790337 Improve report descriptions in deprecated ops module
6 years ago