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.

David Pokora 9edf5ad06d Added possible_paths.py to example scripts: Provides information about all functions/paths which reach specified target 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	Improve data_dependency unit tests (add PropagateThroughArguments)	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	small typos in print statement	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	Added possible_paths.py to example scripts: Provides information about all functions/paths which reach specified target functions.	6 years ago
slithIR.py	Fix typos in print statement	6 years ago
taint_mapping.py	Fix typos in print statement	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