Dataflow analysis #627
Description
To create diagnostics like : "this variable is passed as an input but is never initialized", we need a dataflow analyser
{{ message }}
To create diagnostics like : "this variable is passed as an input but is never initialized", we need a dataflow analyser