{ "success": true, "error": null, "results": { "detectors": [ { "elements": [ { "type": "variable", "name": "blockhash", "source_mapping": { "start": 54, "length": 14, "filename_used": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol", "is_dependency": false, "lines": [ 4 ], "starting_column": 5, "ending_column": 19 }, "type_specific_fields": { "parent": { "type": "contract", "name": "BaseContract", "source_mapping": { "start": 26, "length": 94, "filename_used": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol", "is_dependency": false, "lines": [ 3, 4, 5, 6, 7, 8 ], "starting_column": 1, "ending_column": 2 } } } } ], "description": "BaseContract.blockhash (tests/shadowing_builtin_symbols.sol#4) (state variable) shadows built-in symbol\"\n", "markdown": "[BaseContract.blockhash](tests/shadowing_builtin_symbols.sol#L4) (state variable) shadows built-in symbol\"\n", "check": "shadowing-builtin", "impact": "Low", "confidence": "High" }, { "elements": [ { "type": "variable", "name": "now", "source_mapping": { "start": 74, "length": 8, "filename_used": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol", "is_dependency": false, "lines": [ 5 ], "starting_column": 5, "ending_column": 13 }, "type_specific_fields": { "parent": { "type": "contract", "name": "BaseContract", "source_mapping": { "start": 26, "length": 94, "filename_used": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol", "is_dependency": false, "lines": [ 3, 4, 5, 6, 7, 8 ], "starting_column": 1, "ending_column": 2 } } } } ], "description": "BaseContract.now (tests/shadowing_builtin_symbols.sol#5) (state variable) shadows built-in symbol\"\n", "markdown": "[BaseContract.now](tests/shadowing_builtin_symbols.sol#L5) (state variable) shadows built-in symbol\"\n", "check": "shadowing-builtin", "impact": "Low", "confidence": "High" }, { "elements": [ { "type": "event", "name": "revert", "source_mapping": { "start": 89, "length": 29, "filename_used": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol", "is_dependency": false, "lines": [ 7 ], "starting_column": 5, "ending_column": 34 }, "type_specific_fields": { "parent": { "type": "contract", "name": "BaseContract", "source_mapping": { "start": 26, "length": 94, "filename_used": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol", "is_dependency": false, "lines": [ 3, 4, 5, 6, 7, 8 ], "starting_column": 1, "ending_column": 2 } }, "signature": "revert(bool)" } } ], "description": "BaseContractrevert(bool) (tests/shadowing_builtin_symbols.sol#7) (event) shadows built-in symbol\"\n", "markdown": "[BaseContractrevert(bool)](tests/shadowing_builtin_symbols.sol#L7) (event) shadows built-in symbol\"\n", "check": "shadowing-builtin", "impact": "Low", "confidence": "High" }, { "elements": [ { "type": "function", "name": "assert", "source_mapping": { "start": 195, "length": 64, "filename_used": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol", "is_dependency": false, "lines": [ 13, 14, 15 ], "starting_column": 5, "ending_column": 6 }, "type_specific_fields": { "parent": { "type": "contract", "name": "ExtendedContract", "source_mapping": { "start": 122, "length": 139, "filename_used": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol", "is_dependency": false, "lines": [ 10, 11, 12, 13, 14, 15, 16 ], "starting_column": 1, "ending_column": 2 } }, "signature": "assert(bool)" } } ], "description": "ExtendedContract.assert(bool) (tests/shadowing_builtin_symbols.sol#13-15) (function) shadows built-in symbol\"\n", "markdown": "[ExtendedContract.assert(bool)](tests/shadowing_builtin_symbols.sol#L13-L15) (function) shadows built-in symbol\"\n", "check": "shadowing-builtin", "impact": "Low", "confidence": "High" }, { "elements": [ { "type": "variable", "name": "msg", "source_mapping": { "start": 244, "length": 8, "filename_used": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol", "is_dependency": false, "lines": [ 14 ], "starting_column": 9, "ending_column": 17 }, "type_specific_fields": { "parent": { "type": "function", "name": "assert", "source_mapping": { "start": 195, "length": 64, "filename_used": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol", "is_dependency": false, "lines": [ 13, 14, 15 ], "starting_column": 5, "ending_column": 6 }, "type_specific_fields": { "parent": { "type": "contract", "name": "ExtendedContract", "source_mapping": { "start": 122, "length": 139, "filename_used": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol", "is_dependency": false, "lines": [ 10, 11, 12, 13, 14, 15, 16 ], "starting_column": 1, "ending_column": 2 } }, "signature": "assert(bool)" } } } } ], "description": "ExtendedContract.assert(bool).msg (tests/shadowing_builtin_symbols.sol#14) (local variable) shadows built-in symbol\"\n", "markdown": "[ExtendedContract.assert(bool).msg](tests/shadowing_builtin_symbols.sol#L14) (local variable) shadows built-in symbol\"\n", "check": "shadowing-builtin", "impact": "Low", "confidence": "High" }, { "elements": [ { "type": "variable", "name": "ecrecover", "source_mapping": { "start": 170, "length": 18, "filename_used": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol", "is_dependency": false, "lines": [ 11 ], "starting_column": 5, "ending_column": 23 }, "type_specific_fields": { "parent": { "type": "contract", "name": "ExtendedContract", "source_mapping": { "start": 122, "length": 139, "filename_used": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol", "is_dependency": false, "lines": [ 10, 11, 12, 13, 14, 15, 16 ], "starting_column": 1, "ending_column": 2 } } } } ], "description": "ExtendedContract.ecrecover (tests/shadowing_builtin_symbols.sol#11) (state variable) shadows built-in symbol\"\n", "markdown": "[ExtendedContract.ecrecover](tests/shadowing_builtin_symbols.sol#L11) (state variable) shadows built-in symbol\"\n", "check": "shadowing-builtin", "impact": "Low", "confidence": "High" }, { "elements": [ { "type": "function", "name": "require", "source_mapping": { "start": 380, "length": 120, "filename_used": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol", "is_dependency": false, "lines": [ 23, 24, 25, 26, 27, 28 ], "starting_column": 5, "ending_column": 6 }, "type_specific_fields": { "parent": { "type": "contract", "name": "FurtherExtendedContract", "source_mapping": { "start": 263, "length": 239, "filename_used": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol", "is_dependency": false, "lines": [ 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29 ], "starting_column": 1, "ending_column": 2 } }, "signature": "require()" } } ], "description": "FurtherExtendedContract.require() (tests/shadowing_builtin_symbols.sol#23-28) (modifier) shadows built-in symbol\"\n", "markdown": "[FurtherExtendedContract.require()](tests/shadowing_builtin_symbols.sol#L23-L28) (modifier) shadows built-in symbol\"\n", "check": "shadowing-builtin", "impact": "Low", "confidence": "High" }, { "elements": [ { "type": "variable", "name": "keccak256", "source_mapping": { "start": 449, "length": 14, "filename_used": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol", "is_dependency": false, "lines": [ 25 ], "starting_column": 9, "ending_column": 23 }, "type_specific_fields": { "parent": { "type": "function", "name": "require", "source_mapping": { "start": 380, "length": 120, "filename_used": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol", "is_dependency": false, "lines": [ 23, 24, 25, 26, 27, 28 ], "starting_column": 5, "ending_column": 6 }, "type_specific_fields": { "parent": { "type": "contract", "name": "FurtherExtendedContract", "source_mapping": { "start": 263, "length": 239, "filename_used": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol", "is_dependency": false, "lines": [ 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29 ], "starting_column": 1, "ending_column": 2 } }, "signature": "require()" } } } } ], "description": "FurtherExtendedContract.require().keccak256 (tests/shadowing_builtin_symbols.sol#25) (local variable) shadows built-in symbol\"\n", "markdown": "[FurtherExtendedContract.require().keccak256](tests/shadowing_builtin_symbols.sol#L25) (local variable) shadows built-in symbol\"\n", "check": "shadowing-builtin", "impact": "Low", "confidence": "High" }, { "elements": [ { "type": "variable", "name": "sha3", "source_mapping": { "start": 473, "length": 9, "filename_used": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol", "is_dependency": false, "lines": [ 26 ], "starting_column": 9, "ending_column": 18 }, "type_specific_fields": { "parent": { "type": "function", "name": "require", "source_mapping": { "start": 380, "length": 120, "filename_used": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol", "is_dependency": false, "lines": [ 23, 24, 25, 26, 27, 28 ], "starting_column": 5, "ending_column": 6 }, "type_specific_fields": { "parent": { "type": "contract", "name": "FurtherExtendedContract", "source_mapping": { "start": 263, "length": 239, "filename_used": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol", "is_dependency": false, "lines": [ 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29 ], "starting_column": 1, "ending_column": 2 } }, "signature": "require()" } } } } ], "description": "FurtherExtendedContract.require().sha3 (tests/shadowing_builtin_symbols.sol#26) (local variable) shadows built-in symbol\"\n", "markdown": "[FurtherExtendedContract.require().sha3](tests/shadowing_builtin_symbols.sol#L26) (local variable) shadows built-in symbol\"\n", "check": "shadowing-builtin", "impact": "Low", "confidence": "High" }, { "elements": [ { "type": "variable", "name": "blockhash", "source_mapping": { "start": 322, "length": 18, "filename_used": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol", "is_dependency": false, "lines": [ 19 ], "starting_column": 5, "ending_column": 23 }, "type_specific_fields": { "parent": { "type": "contract", "name": "FurtherExtendedContract", "source_mapping": { "start": 263, "length": 239, "filename_used": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol", "is_dependency": false, "lines": [ 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29 ], "starting_column": 1, "ending_column": 2 } } } } ], "description": "FurtherExtendedContract.blockhash (tests/shadowing_builtin_symbols.sol#19) (state variable) shadows built-in symbol\"\n", "markdown": "[FurtherExtendedContract.blockhash](tests/shadowing_builtin_symbols.sol#L19) (state variable) shadows built-in symbol\"\n", "check": "shadowing-builtin", "impact": "Low", "confidence": "High" }, { "elements": [ { "type": "variable", "name": "this", "source_mapping": { "start": 346, "length": 13, "filename_used": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol", "is_dependency": false, "lines": [ 20 ], "starting_column": 5, "ending_column": 18 }, "type_specific_fields": { "parent": { "type": "contract", "name": "FurtherExtendedContract", "source_mapping": { "start": 263, "length": 239, "filename_used": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol", "is_dependency": false, "lines": [ 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29 ], "starting_column": 1, "ending_column": 2 } } } } ], "description": "FurtherExtendedContract.this (tests/shadowing_builtin_symbols.sol#20) (state variable) shadows built-in symbol\"\n", "markdown": "[FurtherExtendedContract.this](tests/shadowing_builtin_symbols.sol#L20) (state variable) shadows built-in symbol\"\n", "check": "shadowing-builtin", "impact": "Low", "confidence": "High" }, { "elements": [ { "type": "variable", "name": "abi", "source_mapping": { "start": 365, "length": 8, "filename_used": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol", "is_dependency": false, "lines": [ 21 ], "starting_column": 5, "ending_column": 13 }, "type_specific_fields": { "parent": { "type": "contract", "name": "FurtherExtendedContract", "source_mapping": { "start": 263, "length": 239, "filename_used": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol", "is_dependency": false, "lines": [ 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29 ], "starting_column": 1, "ending_column": 2 } } } } ], "description": "FurtherExtendedContract.abi (tests/shadowing_builtin_symbols.sol#21) (state variable) shadows built-in symbol\"\n", "markdown": "[FurtherExtendedContract.abi](tests/shadowing_builtin_symbols.sol#L21) (state variable) shadows built-in symbol\"\n", "check": "shadowing-builtin", "impact": "Low", "confidence": "High" }, { "elements": [ { "type": "variable", "name": "mutable", "source_mapping": { "start": 527, "length": 15, "filename_used": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol", "is_dependency": false, "lines": [ 32 ], "starting_column": 5, "ending_column": 20 }, "type_specific_fields": { "parent": { "type": "contract", "name": "Reserved", "source_mapping": { "start": 504, "length": 42, "filename_used": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_relative": "tests/shadowing_builtin_symbols.sol", "filename_absolute": "/home/travis/build/crytic/slither/tests/shadowing_builtin_symbols.sol", "filename_short": "tests/shadowing_builtin_symbols.sol", "is_dependency": false, "lines": [ 31, 32, 33, 34 ], "starting_column": 1, "ending_column": 2 } } } } ], "description": "Reserved.mutable (tests/shadowing_builtin_symbols.sol#32) (state variable) shadows built-in symbol\"\n", "markdown": "[Reserved.mutable](tests/shadowing_builtin_symbols.sol#L32) (state variable) shadows built-in symbol\"\n", "check": "shadowing-builtin", "impact": "Low", "confidence": "High" } ] } }