TheDude
/
slither
mirror of https://github.com/crytic/slither
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
Static Analyzer for Solidity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
944 Commits
76 Branches
41 Tags
110 MiB
 
 
 
 
Tag: Branch: Tree: a58da24e86
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'a58da24e86'
${ noResults }
slither/tests/expected_json/tx_origin.tx-origin.json

1 lines
3.0 KiB
Raw Blame History

[{"check": "tx-origin", "impact": "Medium", "confidence": "Medium", "description": "TxOrigin.bug0 uses tx.origin for authorization:\n\t- require(bool)(tx.origin == owner) (tests/tx_origin.sol#10)\n", "elements": [{"type": "function", "name": "bug0", "source_mapping": {"start": 116, "length": 60, "filename_used": "/home/monty/Private/tob/tools/slither-public/tests/tx_origin.sol", "filename_relative": "tests/tx_origin.sol", "filename_absolute": "/home/monty/Private/tob/tools/slither-public/tests/tx_origin.sol", "filename_short": "tests/tx_origin.sol", "lines": [9, 10, 11], "starting_column": 5, "ending_column": 6}, "contract": {"type": "contract", "name": "TxOrigin", "source_mapping": {"start": 28, "length": 393, "filename_used": "/home/monty/Private/tob/tools/slither-public/tests/tx_origin.sol", "filename_relative": "tests/tx_origin.sol", "filename_absolute": "/home/monty/Private/tob/tools/slither-public/tests/tx_origin.sol", "filename_short": "tests/tx_origin.sol", "lines": [3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26], "starting_column": 1, "ending_column": 2}}}, {"type": "expression", "expression": "require(bool)(tx.origin == owner)", "source_mapping": {"start": 142, "length": 27, "filename_used": "/home/monty/Private/tob/tools/slither-public/tests/tx_origin.sol", "filename_relative": "tests/tx_origin.sol", "filename_absolute": "/home/monty/Private/tob/tools/slither-public/tests/tx_origin.sol", "filename_short": "tests/tx_origin.sol", "lines": [10], "starting_column": 9, "ending_column": 36}}]}, {"check": "tx-origin", "impact": "Medium", "confidence": "Medium", "description": "TxOrigin.bug2 uses tx.origin for authorization:\n\t- tx.origin != owner (tests/tx_origin.sol#14-16)\n", "elements": [{"type": "function", "name": "bug2", "source_mapping": {"start": 182, "length": 89, "filename_used": "/home/monty/Private/tob/tools/slither-public/tests/tx_origin.sol", "filename_relative": "tests/tx_origin.sol", "filename_absolute": "/home/monty/Private/tob/tools/slither-public/tests/tx_origin.sol", "filename_short": "tests/tx_origin.sol", "lines": [13, 14, 15, 16, 17], "starting_column": 5, "ending_column": 6}, "contract": {"type": "contract", "name": "TxOrigin", "source_mapping": {"start": 28, "length": 393, "filename_used": "/home/monty/Private/tob/tools/slither-public/tests/tx_origin.sol", "filename_relative": "tests/tx_origin.sol", "filename_absolute": "/home/monty/Private/tob/tools/slither-public/tests/tx_origin.sol", "filename_short": "tests/tx_origin.sol", "lines": [3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26], "starting_column": 1, "ending_column": 2}}}, {"type": "expression", "expression": "tx.origin != owner", "source_mapping": {"start": 208, "length": 57, "filename_used": "/home/monty/Private/tob/tools/slither-public/tests/tx_origin.sol", "filename_relative": "tests/tx_origin.sol", "filename_absolute": "/home/monty/Private/tob/tools/slither-public/tests/tx_origin.sol", "filename_short": "tests/tx_origin.sol", "lines": [14, 15, 16], "starting_column": 9, "ending_column": 10}}]}]