control-flag icon indicating copy to clipboard operation
control-flag copied to clipboard

[FEATURE]Support for Non-Control structures

Open jiangwei007 opened this issue 3 years ago • 2 comments

When I test, if missing Null checks happen on if (..) ,can be checked, but if (...) Outside, it can't be checked .

Expect ControlFlag to mine and scan patterns that occur in the ALL structures

jiangwei007 avatar Nov 04 '21 17:11 jiangwei007

@jiangwei007 - thanks for the excellent feedback. We agree with your comment wholeheartedly.

When we first designed ControlFlag, we did so with the intentional focus on only analyzing control expressions because we had seen some studies showing a large majority of defects emerging from them. However, as you note, ControlFlag should work on all programming structures and patterns, not just control expressions.

This is a wonderful feature request; I'll discuss with the team, but we will definitely do this. I'm just not sure how quickly we'll be able to get to it as some of the other features might be higher priority (e.g., ControlFlag supporting the Windows operating system).

Best, The ControlFlag Team

jgottschlich avatar Nov 04 '21 18:11 jgottschlich

Adding this to the list of features in #19

nhasabni avatar Nov 05 '21 18:11 nhasabni