Daniel Kirchner 788612d2ef Refactoring of the ControlFlowGraph and use for detecting all uninitialized storage accesses.

2018-12-12 04:20:53 +01:00

..

externalFunction

Update test to correct source location for nameless parameters

2018-08-31 09:54:11 +07:00

internalFunction

Update test to correct source location for nameless parameters

2018-08-31 09:54:11 +07:00

libraries

Refactoring of the ControlFlowGraph and use for detecting all uninitialized storage accesses.

2018-12-12 04:20:53 +01:00

libraryExternalFunction

Update test to correct source location for nameless parameters

2018-08-31 09:54:11 +07:00

libraryInternalFunction

Update test to correct source location for nameless parameters

2018-08-31 09:54:11 +07:00

privateFunction

Update tests.

2018-08-14 18:53:06 +02:00

publicFunction

Update test to correct source location for nameless parameters

2018-08-31 09:54:11 +07:00

data_location_in_function_type_fail.sol

Update test to correct source location for nameless parameters

2018-08-31 09:54:11 +07:00

data_location_in_function_type.sol

Update tests.

2018-08-14 18:53:06 +02:00

function_argument_location_specifier_test_non_reference_type.sol

Update test to correct source location for nameless parameters

2018-08-31 09:54:11 +07:00

function_parameters_with_data_location_fine.sol

Update tests.

2018-08-14 18:53:06 +02:00

function_return_parameters_with_data_location_fine.sol

Update tests.

2018-08-14 18:53:06 +02:00

function_type_array_as_reference_type.sol

Update tests.

2018-08-14 18:53:06 +02:00

memory_storage_data_location.sol

Do not set to ref for explicit conversion and add assertion for array

2018-09-14 08:42:40 +02:00

variable_declaration_location_specifier_test_non_reference_type.sol

Update tests.

2018-08-14 18:53:06 +02:00

variable_declaration_location_specifier_test_reference_type.sol

Update test wrt requiring storage locations.

2018-07-12 12:54:42 +02:00