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.
1674 Commits
76 Branches
41 Tags
110 MiB
 
 
 
 
Tag: Branch: Tree: 2b4a67da9a
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '2b4a67da9a'
${ noResults }
slither/tests
History
Josselin 2b4a67da9a
Fix bug introduced in #445: The change in the function signature makes the parsing failed, as solc generated in the json type using the contract's name 		5 years ago
..
check-erc slither erc check: 5 years ago
check-kspec Update travis 5 years ago
check-upgradeability Large refactor of slither-check-upgradeability: 5 years ago
config Add 3 new type of tests for travis: 6 years ago
expected_json Fix bug introduced in #445: The change in the function signature makes the parsing failed, as solc generated in the json type using the contract's name 5 years ago
flat slither-flat: add --remove-assert flag (#366) 5 years ago
possible_paths Fix bug introduced in #445: The change in the function signature makes the parsing failed, as solc generated in the json type using the contract's name 5 years ago
simil fixed test 6 years ago
arbitrary_send-0.5.1.sol Add Solidity 0.5 Support (WIP) 6 years ago
arbitrary_send.sol Add Solidity 0.5 Support (WIP) 6 years ago
backdoor.sol Partial support of Solidity 0.5 (WIP) 6 years ago
complex_func.sol
…
const_state_variables.sol Improve constable-states result (remove FP) 6 years ago
constant-0.5.1.sol Fix tests 5 years ago
constant.sol Open source constant function detector 6 years ago
controlled_delegatecall.sol Minor typo 6 years ago
deprecated_calls.sol Open source 3 detectors: 6 years ago
erc20_indexed.sol Open source 3 detectors: 6 years ago
external_function.sol Adds check for function parameter write to prevent reporting public -> external visibility change. 6 years ago
external_function_2.sol Update travis tests 6 years ago
external_function_import.sol Update travis tests 6 years ago
incorrect_equality.sol Add missing testcase 6 years ago
incorrect_erc20_interface.sol -Relaxed erc20-interface detector to report incorrect function signatures even if the function was not declared in that contract immediately 6 years ago
incorrect_erc721_interface.sol -Relaxed erc20-interface detector to report incorrect function signatures even if the function was not declared in that contract immediately 6 years ago
inheritance_graph.sol * Added tooltips for function/variable shadowing 6 years ago
inline_assembly_contract-0.5.1.sol Add Solidity 0.5 Support (WIP) 6 years ago
inline_assembly_contract.sol
…
inline_assembly_library-0.5.1.sol Add Solidity 0.5 Support (WIP) 6 years ago
inline_assembly_library.sol
…
locked_ether-0.5.1.sol Add Solidity 0.5 Support (WIP) 6 years ago
locked_ether.sol
…
low_level_calls.sol Add Solidity 0.5 Support (WIP) 6 years ago
multiple_calls_in_loop.sol Open source detector for multiple calls in a loop 6 years ago
naming_convention.sol Fix travis 6 years ago
old_solc.sol.json
…
pragma.0.4.23.sol
…
pragma.0.4.24.sol
…
reentrancy-0.5.1-events.sol Add missing test files 5 years ago
reentrancy-0.5.1.sol Partial support of Solidity 0.5 (WIP) 6 years ago
reentrancy.sol Reentrancies detectors: 5 years ago
reentrancy_indirect.sol
…
right_to_left_override.sol rtlo detector: minor modifs 6 years ago
shadowing_abstract.sol Add missing testcases 6 years ago
shadowing_builtin_symbols.sol Open source shadowing local and shadowing builtin detectors 6 years ago
shadowing_local_variable.sol Open source shadowing local and shadowing builtin detectors 6 years ago
shadowing_state_variable.sol Add missing testcases 6 years ago
solc_version_incorrect.sol Minor 6 years ago
solc_version_incorrect_05.ast.json Improve solc-version detector (fix 189) 6 years ago
solc_version_incorrect_05.sol Improve solc-version detector (fix 189) 6 years ago
source_mapping.sol Added test for source mapping. Fixed total source length calculation 6 years ago
taint_mapping.sol
…
timestamp.sol Open source detector on dangerous block.timestamp usage 6 years ago
too_many_digits.sol Parsing/IR: late conversion of the subdenomination value to improve too many digit detector (fix #297) 5 years ago
tx_origin-0.5.1.sol Add Solidity 0.5 Support (WIP) 6 years ago
tx_origin.sol Add Solidity 0.5 Support (WIP) 6 years ago
unchecked_lowlevel-0.5.1.sol Add two new detectors: 6 years ago
unchecked_lowlevel.sol Add two new detectors: 6 years ago
unchecked_send-0.5.1.sol Add two new detectors: 6 years ago
uninitialized-0.5.1.sol Partial support of Solidity 0.5 (WIP) 6 years ago
uninitialized.sol
…
uninitialized_local_variable.sol Merge branch 'dev' into dev-fix-c3-linearalization 6 years ago
uninitialized_storage_pointer.sol Update uninit storage pointer testcase 6 years ago
unused_return.sol Add Solidity 0.5 Support (WIP) 6 years ago
unused_state.sol -Updated erc20-indexed to use event json function instead of function. 6 years ago
void-cst.sol Add support for ternary operator in modifier/constructor calls 5 years ago