Nathan
Nathan
``` RELNOTE: Indicate that skipped = True when skipping pod-probe scans ``` I don't know if tests need to be updated, feel free to push any updates there directly to...
Create an analysis module for SWC-124 - Write to Arbitrary Storage Location. SWC link: This can be done by adding pre-hooks at `sstore` instructions and checking if it is possible...
The transaction order dependence module `mythril/analysis/modules/transaction_order_dependence.py` should be rewritten to work with the current laser as a callback module.
Currently, the [delegatecall](https://github.com/ConsenSys/mythril-classic/blob/develop/mythril/analysis/modules/delegatecall.py) module reports the same "Low" severity issue regardless of whether the callee is concrete or not. If the callee is unconstrained, this is a Critical/High severity issue,...
``` pragma solidity ^0.4.25; contract Symbolic { function unsecure(bool input, int[] keys) public payable { require(keys.length >= 1, "Array too small"); require(keys[0] == 1337, "Wrong keys provided"); assert(1 > 2);...
Right now, the `blockhash` and `number` opcodes always return symbolic values. When connected to a node via rpc, this information is available when the opcodes are called with concrete arguments....
Pass command line arguments to constrain the caller(s) and maximum callvalues for transactions. Perhaps `--caller 0xcaller1,0xcaller2...etc` and `--max-callvalue 100`? The first one adding something like the constraint `Or([transaction.caller == caller...
Improve progress reporting, including when mythril is being run on multiple contracts. Some inspiration: https://asciinema.org/a/DqhcbBggWNOgSvxq3fkYVE17I https://asciinema.org/a/CY3Um5Ll0eK4bK7LL9ZxlSF3Y Progress bars could perhaps be code coverage. We currently calculate and display it upon...
This can be added in the "Security references" section: https://smartcontractsecurity.github.io/SWC-registry/
I am trying to create a database in one place, and access it somewhere else, but I am having trouble. I can create a database using the web example (https://ipfs.io/ipfs/QmeESXh9wPib8Xz7hdRzHuYLDuEUgkYTSuujZ2phQfvznQ/),...