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.

rajeevgopalakrishna aa8cb34f39 - Refactors code into smaller functions ... - Removes duplicate generate_source_to_evm_ins_mapping() in evm printer (reuse from SourceToEVM module) - Adds more comments for readability - Adds expected output for convert_to_evm_ins - Uses get_function_id from slither.utils.function		6 years ago
..
call_graph.py	Clean call-graph printer (+ export every contract individually)	6 years ago
convert_to_evm_ins.expected_output	- Refactors code into smaller functions	6 years ago
convert_to_evm_ins.py	- Refactors code into smaller functions	6 years ago
convert_to_ir.py	Fix typos in print statement	6 years ago
data_dependency.py	Improve data_dependency unit tests (add PropagateThroughArguments)	6 years ago
data_dependency.sol	Fixed data dependency to propagate return values of functions to call sites.	6 years ago
export_dominator_tree_to_dot.py	WIP: add support for state variables	6 years ago
export_to_dot.py	Fix typos in print statement	6 years ago
functions_called.py	Breaking change: functions and modifiers are not shared accross contracts, each contract has an own copy of all the functions/modifiers	6 years ago
functions_called.sol	Add visibility to Solidity script examples	6 years ago
functions_writing.py	Fix typos in print statement	6 years ago
functions_writing.sol	Add visibility to Solidity script examples	6 years ago
possible_paths.py	API change:	6 years ago
slithIR.py	Rename original_contract -> contract_declarer	6 years ago
taint_mapping.py	Fix typos in print statement	6 years ago
test_evm_api.sol	Adds support for constructor's evm instructions using bytecode_init and srcmap_init.	6 years ago
variable_in_condition.py	Fix typos in print statement	6 years ago
variable_in_condition.sol	Add visibility to Solidity script examples	6 years ago