Zenong ZhangandJon Ross-Perkins b28fd7ebc9 Implement more flows on unformed static analysis (#1923) ...

- Added detection of unformed usage with `return var`, control-flow statements and member access.
- Refactored the work flow: made flow facts a class and moved operations of flow facts into the class.
- Added, cleaned and renamed test cases. Some test cases for the dynamic unformed check were suppressed by the static check. They are now added back.

Co-authored-by: Jon Ross-Perkins <jperkins@google.com>

2022-08-15 10:53:42 -07:00

..

dynamic

Implement more flows on unformed static analysis (#1923)

2022-08-15 10:53:42 -07:00

static

Implement more flows on unformed static analysis (#1923)

2022-08-15 10:53:42 -07:00

control_flow_defer_to_dynamic.carbon

Implement more flows on unformed static analysis (#1923)

2022-08-15 10:53:42 -07:00

global_assign_before_use.carbon

Implement more flows on unformed static analysis (#1923)

2022-08-15 10:53:42 -07:00

global_escape.carbon

Implement more flows on unformed static analysis (#1923)

2022-08-15 10:53:42 -07:00

global_unformed_without_use.carbon

Implement more flows on unformed static analysis (#1923)

2022-08-15 10:53:42 -07:00

local_assign_before_use.carbon

Implement more flows on unformed static analysis (#1923)

2022-08-15 10:53:42 -07:00

local_escape.carbon

Implement more flows on unformed static analysis (#1923)

2022-08-15 10:53:42 -07:00

local_unformed_without_use.carbon

Implement more flows on unformed static analysis (#1923)

2022-08-15 10:53:42 -07:00

pattern_declare.carbon

Implement more flows on unformed static analysis (#1923)

2022-08-15 10:53:42 -07:00

returned_var_assign_before_use.carbon

Implement more flows on unformed static analysis (#1923)

2022-08-15 10:53:42 -07:00