Feist Josselin bd2d572f48 More types

2023-02-20 19:05:56 +01:00

..

convert_to_ir.py

Also use f-strings in examples

2022-03-15 08:40:23 +01:00

data_dependency.py

More types

2023-02-20 19:05:56 +01:00

data_dependency.sol

Fixed data dependency to propagate return values of functions to call sites.

2019-03-22 14:43:46 +05:30

export_dominator_tree_to_dot.py

Also use f-strings in examples

2022-03-15 08:40:23 +01:00

export_to_dot.py

Also use f-strings in examples

2022-03-15 08:40:23 +01:00

functions_called.py

Also use f-strings in examples

2022-03-15 08:40:23 +01:00

functions_called.sol

Add visibility to Solidity script examples

2018-12-11 14:56:46 -05:00

functions_writing.py

Also use f-strings in examples

2022-03-15 08:40:23 +01:00

functions_writing.sol

Add visibility to Solidity script examples

2018-12-11 14:56:46 -05:00

possible_paths.py

Add the support for multiple compilation units. This commit includes a

2021-04-09 16:55:16 +02:00

slithIR.py

Also use f-strings in examples

2022-03-15 08:40:23 +01:00

taint_mapping.py

Make entry_point return an Optional[Node] and update the detectors

2022-07-27 11:23:39 +02:00

test_evm_api.expected_output

- Fixes formatting bug

2019-06-19 14:18:55 +05:30

test_evm_api.sol

Adds pragma and function visibility to satisfy solc 0.5.x

2019-06-18 18:08:04 +05:30

variable_in_condition.py

More types

2023-02-20 19:05:56 +01:00

variable_in_condition.sol

Add visibility to Solidity script examples

2018-12-11 14:56:46 -05:00