d22da1c212
Merge to Master ( #1680 )
...
* Fix error message (#1506 )
* Fix bug during checking potential issues (#1507 )
* Fix bug due to list.remove() in a loop
* Mythril v0.22.25
* Add BASEFEE opcode (#1513 )
* Add BASEFEE opcode
* Add test
* Support Panic(uint256) calls for asserts in v0.8.0+ (#1514 )
* Support panic() asserts
* Use typing extensions
* Add typing extensions (#1516 )
* Mythril v0.22.26
* [WIP] Add safe function support (#1510 )
* Add safe functions cli
* Add a change
* Add tests
* Change examples
* Fix bytecode tests
* Use last jump as source for yul mapping (#1518 )
* Mythril v0.22.27
* Fix issue with source mapping (#1526 )
* Fix issue with source mapping
* Fix issues with deployedBytecode
* Add typing
* Refactor opcode files and fix issues (#1532 )
* Use symbol_factory (#1533 )
* Use symbol_factory
* Black
* Support native calls for delegatecall and callcode (#1534 )
* Fix issue with calldatasize (#1537 )
* Mythril v0.22.28
* Fix issue with integer arthimetic (#1541 )
* Fix issues with exceptions module (#1542 )
* Mythril v0.22.29
* Ignore plyvel (#1543 )
* Remove additional eth transfer (#1544 )
* Fix issues with out of index code (#1545 )
* Mythril v0.22.30
* Fixes issues by considering future concrete hashes (#1547 )
* Fix issues with hashing
* Fix offsets and edge cases
* Fix onchain storage access (#1548 )
* Fix issues with onsite storage access
* Fix issue with copy
* Fix issue with get_constraints (#1549 )
* Handle an edgecase from local host clients (#1550 )
* Handle an edgecase from local host clients
* Fix eth-typing
* Fix pyparsing (#1551 )
* Mythril v0.22.31
* Removes pyethereum Dependencies and leveldb libraries (#1555 )
* change versions
* Move away from pyethereum dependency
* Remove leveldb
* Change requirements
* Add rzpad()
* Fix issues with sha3
* Fix sha3 edge cases
* Fix setup.py
* Restrict eth-utils
* Restrict eth-typing
* Fix py-ecc
* Remove mythx analysis doc
* Remove -l option from docs
* Fix typing_extensions (#1556 )
* change versions
* Move away from pyethereum dependency
* Remove leveldb
* Change requirements
* Add rzpad()
* Fix issues with sha3
* Fix sha3 edge cases
* Fix setup.py
* Restrict eth-utils
* Restrict eth-typing
* Fix py-ecc
* Fix typing_extensions
* Fix blake2bpy (#1557 )
* Fix case where loader is not present (#1558 )
* Use empty code to denote address (#1559 )
* Mythril v0.22.32
* Use concrete storage (#1562 )
* Support symbolic bytecode (#1560 )
* Support symbolic bytecode
* Use hex notation
* Handle swarm hash
* Use requirements in setup (#1564 )
* Fix myth --version typo in docs (#1563 )
Co-authored-by: Nikhil Parasaram <nikhilparasaram@gmail.com>
* Fixes issues with NoneType and restricts rlp version (#1567 )
* Fix when args are NoneType
* Fix rlp
* Fix creation case and use better error message (#1569 )
* Handle creation code
* Fix eth-keys
* Mythril v0.22.33
* Fix py-evm version (#1570 )
* Fix py-evm when it's in alpha
* Downgrade py-evm
* upgrade py-evm
* remove py-evm restriction
* Fix trie
* Fix versions
* Edit versions
* Edit versions
* Restrict versions
* Remove eth-tester
* add blake2b
* Support multiple function names (#1571 )
* Fix the leaking file descriptor when returning a z3 smt check result (#1574 )
* Mythril v0.22.34
* Add more precompile tests (#1576 )
* Add tests for natives
* Black updates
* Update black
* Refactor code (#1577 )
* clean up code
* Update lolcat
* Fixes issues with create with symbolic bytecode (#1578 )
* Handle cases when create get's symbolic bytecodes
* Refactor
* fix typing
* Mythril v0.22.35
* Handle cases with symbolic bytecode (#1581 )
* Fix issues with string code
* revert solc changes
* Allow missing solc (#1582 )
* allow missing solc
* reformatted
* dummy commit
Co-authored-by: mrx23dot <none>
* Handle changes in allow-paths in solc versions 0.8.8+ (#1584 )
* Handle changes in allow-paths in solc versions 0.8.8+
* Add docker
* Remove test
* Mythril v0.22.36
* Update LICENSE (#1585 )
* Restrict eth-rlp, eth-keyfile (#1586 )
* Restrict eth-rlp
* Restrict eth-keyfile
* Helper functions for symbolic summaries (#1587 )
* Restrict eth-rlp
* Restrict eth-keyfile
* Add functions for summaries
* Add some tweaks
* Revert a change
* Rewrite BaseArray class
* Remove unused variable
* Support Pragmas (#1591 )
* Support Pragmas
* Fix MarkUpSafe
* Stop Edelweiss temporarily (#1593 )
* Mythril v0.22.37
* Concolic tool (#1445 )
* Mythril v0.22.14
* Add trace plugin and find trace
* Add finding trace
* Add some changes
* change help text
* Add some comments
* Add support for concolic strategy
* Fix issues
* Add concolic exec tool
* Add a few fixes
* Fix a few errors
* Add tests
* Fix test interface
* Add muti flip test
* Add multi contract test
* Fix cases with multicontract calls
* Add more tests and fixes
* Fix tests
* Fix mypy
* Change tests and other small fixes
* Add more documentation
* Add some changes
* Update mythril/concolic/find_trace.py
Co-authored-by: JoranHonig <JoranHonig@users.noreply.github.com>
* Remove space
Co-authored-by: JoranHonig <JoranHonig@users.noreply.github.com>
* Fix typing
* Fix Review issues
* Change test type
* Remove deepcopy
* Use 3.8 for typing
* Use typing_extensions
* Fix prev_state
* Add changes to tests and fix some bugs
* Fix address assignment
* Fix issues and format
* Remove set_option
* Split plugins
* Refactor
Co-authored-by: JoranHonig <JoranHonig@users.noreply.github.com>
* Mythril v0.22.38
* Fix issues with sqlite3 (#1594 )
* Mythril v0.22.14
* Add trace plugin and find trace
* Add finding trace
* Add some changes
* change help text
* Add some comments
* Add support for concolic strategy
* Fix issues
* Add concolic exec tool
* Add a few fixes
* Fix a few errors
* Add tests
* Fix test interface
* Add muti flip test
* Add multi contract test
* Fix cases with multicontract calls
* Add more tests and fixes
* Fix tests
* Fix mypy
* Change tests and other small fixes
* Add more documentation
* Add some changes
* Update mythril/concolic/find_trace.py
Co-authored-by: JoranHonig <JoranHonig@users.noreply.github.com>
* Remove space
Co-authored-by: JoranHonig <JoranHonig@users.noreply.github.com>
* Fix typing
* Fix Review issues
* Change test type
* Remove deepcopy
* Use 3.8 for typing
* Use typing_extensions
* Fix prev_state
* Add changes to tests and fix some bugs
* Fix address assignment
* Fix issues and format
* Remove set_option
* Split plugins
* Refactor
* Handle sqlite3
Co-authored-by: JoranHonig <JoranHonig@users.noreply.github.com>
* Mythril v0.22.39
* Init config dir (#1595 )
* Mythril v0.22.40
* Fixes optimizer issue (#1597 )
* Init config dir
* Fix solc optimizer
* Mythril v0.22.41
* Handle constructor edge case (#1600 )
* Init config dir
* Fix solc optimizer
* Handle constructor edge case
* Fix NPM code block issue (#1602 )
* Init config dir
* Fix solc optimizer
* Fix NPM code block issue
* Extend tests
* Beam search (#1606 )
* Init config dir
* Fix solc optimizer
* Add beam search
* Use dict over reference
* Change default execution time
* Support TX constraints and refactor CLI (#1607 )
* Support TX constraints and refactor CLI
* Fix typing
* Add additional typing
* Use dict over accessor
* Fix z3py requirements
* Init storage args
* Init storage args
* Init args in vm tests
* Unrestrict z3 to 4.8.15.0 (#1608 )
* Mythril v0.22.42
* Fix caching of issues across modules (#1610 )
* Fix caching of issues across modules
* Fix caching of issues across modules
* Remove logging (#1611 )
* Fix caching of issues across modules
* Fix caching of issues across modules
* Use log.info
* Merge
* remove comment
* Check versions before using integer module (#1613 )
* use more secure approach to call docker (#1614 )
* Mythril v0.22.43
* Use better issue annotations for search (#1615 )
* Check versions before using integer module
* Use IssueAnnotations
* Fix misc issues related to summaries (#1617 )
* Check versions before using integer module
* Use IssueAnnotations
* Fix misc issues with summaries
* Fix issue with cache during summaries (#1619 )
* Check versions before using integer module
* Use IssueAnnotations
* Fix misc issues with summaries
* Fix cache issue
* Fix safe functions
* dead link (#1616 )
* Fix issue with PluginSkipState (#1620 )
* Check versions before using integer module
* Use IssueAnnotations
* Fix misc issues with summaries
* Fix cache issue
* Fix safe functions
* Fix issue with PluginSkipState
* Update black
* Mythril v0.23.0
* fixed module links in documentation (#1622 )
* Use int argument (#1625 )
* remove depth for jump (#1628 )
* Use a more precise modeling of return data (#1630 )
* remove depth for jump
* Use a more precise modeling of return data
* Fix issues with lists
* Fix issues
* Fix misc issues (#1631 )
* remove depth for jump
* Use a more precise modeling of return data
* Fix issues with lists
* Fix issues
* Fix misc issues
* Mythril v0.23.1
* Correct comment (#1632 )
* Correct comment
* Update bitvec_helper.py
* Fix caching for exceptions module (#1633 )
* Fix loop bound and other instruction performance issues (#1635 )
* Fix caching for exceptions module
* Fix loop bound and other instruction performance issues
* Remove unused variable
* Increase loop bound
* Mythril v0.23.2
* Handle CRLF line endings (#1637 )
* Handle CRLF line endings
* Add new line at the end of file
* Typo: External Calls now states correctly SWC-107 (#1639 )
External Calls mentioned *SWC-117* but links (corrrectly) to SWC-107, fixed typo to *SWC-107*
* Fix Bitvec issue (#1641 )
* Fix issues with Bitvec (#1642 )
* Fix Bitvec issue
* Fix issues with Bitvec
* Mythril v0.23.3
* Use latest blake2bpy, Fix version extraction (#1644 )
* Use latest blake2bpy, Fix version extraction
* Fix setup.py
* Handle setup.py
* Handle setup.py
* Handle setup.py
* Fix requirements
* Fix requirements
* Fix requirements
* restrict eth-hash
* Support py36 through py39 (#1646 )
* Support py36 through py39
* Remove usage of cytoolz
* Update tox
* Add a get set for summaries (#1647 )
* Support py36 through py39
* Remove usage of cytoolz
* Update tox
* Add a get set for summaries
* Mythril v0.23.4
* Deepcopy storage load and store sets (#1648 )
* Support py36 through py39
* Remove usage of cytoolz
* Update tox
* Add a get set for summaries
* Support get/set
* Restrict cytoolz
* Move cytoolz up the dependency list
* Move cytoolz up the dependency list
* Fix CI (#1651 )
* Support py36 through py39
* Remove usage of cytoolz
* Update tox
* Add a get set for summaries
* Support get/set
* Restrict cytoolz
* Move cytoolz up the dependency list
* Move cytoolz up the dependency list
* Add cython
* Black
* Remove from requirements
* Add cython
* Remove cython from setup
* Remove cython from setup
* Add cython
* set cytoolz version
* Add support for locking config file (#1652 )
* Add support for locking config file
* Remove abi decode test
* Fix typo
* Mythril v0.23.5
* Fix issues with arbitrary jump dest (#1654 )
* Add partial abi support (#1655 )
* Fix issues with arbitrary jump dest
* Support abi
* Add partial abi support
* Fix test
* Fix test directory
* Mythril v0.23.6
* Update Readme
* Fix OOG issue (#1658 )
* Fix issues with arbitrary jump dest
* Support abi
* Add partial abi support
* Fix test
* Fix test directory
* Fix OOG issue
* Fix issue with simplify (#1660 )
* Fix issues with arbitrary jump dest
* Support abi
* Add partial abi support
* Fix test
* Fix test directory
* Fix OOG issue
* Fix issue with simplify
* Fix typo
* Fix imports for python 3.10 (#1661 )
* Fix issues with arbitrary jump dest
* Support abi
* Add partial abi support
* Fix test
* Fix test directory
* Fix OOG issue
* Fix issue with simplify
* Fix typo
* Fix import
* Refactor
* Add exit code (#1662 )
* Add exit code
* Fix tests
* Remove additional python runs in tox (#1663 )
Since `geth` gets killed by CI after some time, it is better to run only the necessary python versions.
* Update docs and Add tutorial (#1664 )
* Add exit code
* Update docs with tutorial
* Fix docs
* Reformat
* Mythril v0.23.7 (#1665 )
* Handles issue with low constructor loop bound and new way to deal with solver-timeout (#1668 )
* Add exit code
* Update docs with tutorial
* Fix docs
* Reformat
* Fix the issue with loop-bound and solver-timeout
* Add test changes
* Restrict hexbytes
* Mythril v0.23.8 (#1669 )
* last_jump has type `int` but is used as type `None`. (#1670 )
* last_jump has type `int` but is used as type `None`.
"filename": "mythril/analysis/module/modules/exceptions.py"
"warning_type": "Incompatible variable type [9]"
"warning_message": " last_jump is declared to have type `int` but is used as type `None`."
"warning_line": 28
"fix": None to 0
* Update exceptions.py
* Fix typo
* Add import
Co-authored-by: Nikhil Parasaram <tommycjniko@gmail.com>
Co-authored-by: norhh <nikhilparasaram@gmail.com>
* Handle issues with simplify (#1674 )
* Add exit code
* Update docs with tutorial
* Fix docs
* Reformat
* Fix the issue with loop-bound and solver-timeout
* Add test changes
* Restrict hexbytes
* Use solver over simplify
* Handle OOG during CALL (#1675 )
* Mythril v0.23.9
Co-authored-by: Peilin Zheng <tczpl@163.com>
Co-authored-by: Sir Hashalot <95114813+sirhashalot@users.noreply.github.com>
Co-authored-by: Iaroslav Zeigerman <zeigerman.ia@gmail.com>
Co-authored-by: Kis Gabor <mrx23dot@users.noreply.github.com>
Co-authored-by: Serafim Cloud <55061526+serafimcloud@users.noreply.github.com>
Co-authored-by: JoranHonig <JoranHonig@users.noreply.github.com>
Co-authored-by: shafu.eth <selfouly@gmail.com>
Co-authored-by: Zach Obront <zobront@gmail.com>
Co-authored-by: 72521 <ysl47698@gmail.com>
Co-authored-by: Christian <christiancattai@gmail.com>
Co-authored-by: Luca Di Grazia <luca.digrazia94@gmail.com>
2 years ago
563332bd42
Remove mythx calls ( #1504 )
...
* Remove mythx
* Remove mythx pro from cli
* Format
3 years ago
0b20f64372
Use docs from develop
3 years ago
b2df73fe0b
Mythril v0.22.24
3 years ago
e1f8b51c3b
Fix json issue ( #1503 )
...
* Fix json issue
* Add missing files
3 years ago
05a1b5bb7e
Fix issues with optimizer ( #1499 )
...
* Fix issues with optimizer
* Fix solidity contract test
3 years ago
d1e31485d7
Mythril v0.22.23
3 years ago
6eb13dd3fc
Handle file mapping to yul files ( #1498 )
3 years ago
c72d212c7e
[WIP] Handle exponents ( #1497 )
...
* Handle exponents
* Bruteforce enumerate constraints
* Fix evm tests
* Fix imports
* Fix z3 version to avoid exception
* Fix z3 version to avoid exception
* Fix z3 version
* Fix z3 version
* Hunt the issue
* Hunt the issue
* Hunt the issue
* Hunt the issue
* Hunt the issue
* Fix issue
* Fix issue
* Add tests
* Black
* Fix issue
* Fix issue with disassembler test
* Fix issue with disassembler test
3 years ago
d8d469398b
Changes most fixed dependencies ( #1491 )
...
The previous requirements.txt had many fixed dependencies and I think
most of them don't need to be fixed.
Those fixed dependencies generate conflicts when mixing mythril with
other python/ethereum packages, notably brownie-eth.
3 years ago
7cf48c22b3
Mythril v0.22.22
3 years ago
dfecf8bcb1
Bugfix lost leading zeros in address, refactor ( #1490 )
3 years ago
ec6781669a
Fix a small issue with call limiter ( #1489 )
...
* Fix a small issue
* Fix arg issue
3 years ago
12a66e601d
Decode error ( #1488 )
...
* Fix mypy version
* Add error handling exception
* black
* Fix mypy issue
3 years ago
588bc2e0f6
Mythril v0.22.21
4 years ago
00b38e7c50
Fix mypy version ( #1483 )
4 years ago
d39dea71fd
Mythril v0.22.20
4 years ago
9b0c6d1718
Fix ambigous msg when infura id isn't set during rpc code call ( #1480 )
...
* Add error check when infura id is unspecified for an on-chain code request
* Update eth-hash
4 years ago
2518cc8b65
Mythril v0.22.19
4 years ago
ea396cdc93
Simplify and generalize signextend ( #1471 )
...
* simplify and generalize signextend
* Fix black
* Use BitVec constants over python ints
Co-authored-by: norhh <nikhilparasaram@gmail.com>
4 years ago
7a0f803808
Fix edelweiss crash and various other issues ( #1474 )
4 years ago
b3184c3a1a
Remove pillow
4 years ago
8a44ffaabd
Fix pillow version in setup
...
This is to check whether pillow is the cause of drone run failure
4 years ago
0f464ff2a4
Fix pillow version
...
Fixes pillow version to check whether it is causing the issue with drone run.
4 years ago
fea31ce062
Ensure BitVecs in stack ( #1473 )
4 years ago
c90bf04d39
Mythril v0.22.18
4 years ago
a8cec672c1
Fix edge case where sign_bit_set is symbolic ( #1469 )
...
* fix broken edge case where sign_bit_set is symbolic
* invert condition
* restore original requirements
4 years ago
e19d2a44f5
Mythril v0.22.17
4 years ago
5306fdfba7
Catch the push_cancel error ( #1460 )
...
* Catch the push_cancel error
* Use z3.unknown
4 years ago
d8aa12d62b
[WIP]Use latest mythril CI image ( #1463 )
...
* Use updated container
* Use geth option
* Use geth option
* Update geth command
* use http flag
* Fix the geth flags
* Remove rpc test and use 0.5.0
* black
* Fix tests for different solc version
* Fix tests for different solc version
* Fix analyzer test
* Fix eth-hash
4 years ago
9a2572c3d3
Mythril v0.22.16
4 years ago
4e70f81a63
s/tostring/tobytes/ ( #1454 )
...
tostring() has been deprecated since 3.2 and removed in 3.9
ref: https://docs.python.org/3/library/array.html#array.array.tobytes
4 years ago
d3e4c28262
Mythril v0.22.15
4 years ago
c4ec9b656b
Update z3 to fix the push canceled ( #1451 )
4 years ago
9bf093a23b
Fix versions ( #1450 )
...
* Fix versions
* Fix numpy version
4 years ago
77e1dfd447
Add support for displaying yul internal files ( #1447 )
4 years ago
191946f358
Remove truffle ( #1444 )
...
* Remove truffle
* Remove repeated command of pro
4 years ago
fdb1479b4b
Fix solc error
4 years ago
82326b773c
Add a temporary condition ( #1443 )
4 years ago
0e827d1aa2
Mythril v0.22.13
4 years ago
9283f018fa
Update docker file to support ubuntu 20.04 ( #1439 )
4 years ago
1c636c20ea
Mythril v0.22.12
4 years ago
3fae33630a
Change plugin_name to name ( #1438 )
4 years ago
f178d45ed3
Mythril v0.22.11
4 years ago
c51531ee51
Fix rlp versions ( #1437 )
4 years ago
749cfcf673
Support merge annotations ( #1419 )
...
* Support merge annotations
* Fix type hinting
* Update mythril/laser/ethereum/state/annotation.py
Co-authored-by: JoranHonig <JoranHonig@users.noreply.github.com>
* Update mythril/laser/plugin/plugins/plugin_annotations.py
Co-authored-by: JoranHonig <JoranHonig@users.noreply.github.com>
* Review fixes and a bugfix
* Make merge_annotation sideeffect free
* Fix black
* Change List to set
* use set() over {}
* Remove check merge from StateAnnotations
* Add missed out commit
* Add some review fixes
* Add some review fixes
* Merge if conditions
Co-authored-by: JoranHonig <JoranHonig@users.noreply.github.com>
4 years ago
dce7e868ad
Install leveldb separately ( #1436 )
4 years ago
d3ae503d45
Merge pull request #1433 from ConsenSys/fix/nanosecs
...
use nano seconds
4 years ago
490c4a87d6
Round to integers
4 years ago
7c9502b99e
use nano seconds
4 years ago
Nikhil Parasaram
Guillermo Mario Narvaja
Ivan Bogatyy
JoranHonig
Sebastian N. Fernandez