Static Analyzer for Solidity

ethereumsoliditystatic-analysis

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.

Josselin 59927d5e66 Merge branch 'dev' into dev-fix-c3-linearalization		6 years ago
..
check-upgradeability	- add contract.get_function_from_canonical_name (same for modifier	6 years ago
config	Add 3 new type of tests for travis:	6 years ago
expected_json	Improve travis tests:	6 years ago
possible_paths	Improve slither-find-paths + add travis unit tests	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	added examples	6 years ago
const_state_variables.sol	Improve constable-states result (remove FP)	6 years ago
constant-0.5.1.sol	Add Solidity 0.5 Support (WIP)	6 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	Update travis tests	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	Open source 3 detectors:	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	detectors: Add assembly detector.	6 years ago
inline_assembly_library-0.5.1.sol	Add Solidity 0.5 Support (WIP)	6 years ago
inline_assembly_library.sol	detectors: Add assembly detector.	6 years ago
locked_ether-0.5.1.sol	Add Solidity 0.5 Support (WIP)	6 years ago
locked_ether.sol	Use floating solidity version for travis tests	6 years ago
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	Add Solidity 0.5 Support (WIP)	6 years ago
old_solc.sol.json	API changes:	6 years ago
pragma.0.4.23.sol	API changes:	6 years ago
pragma.0.4.24.sol	Use floating solidity version for travis tests	6 years ago
reentrancy-0.5.1.sol	Partial support of Solidity 0.5 (WIP)	6 years ago
reentrancy.sol	Improve reentrancy	6 years ago
reentrancy_indirect.sol	Typo	6 years ago
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
taint_mapping.sol	Add SlithIR representation (WIP)	6 years ago
timestamp.sol	Open source detector on dangerous block.timestamp usage	6 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
uninitialized-0.5.1.sol	Partial support of Solidity 0.5 (WIP)	6 years ago
uninitialized.sol	UninitializedStateVarsDetection: Fix incorrect storage parameters add	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	Add Solidity 0.5 Support (WIP)	6 years ago