SO-SO

@edoardopirovano , I'm using a control flow node: result = cfn.(SwitchCase).getExpr() > cfn -> "case ...:". > cfn.(SwitchCase).getExpr() -> unsigned int Can i get the "ABC" based on the control...

@edoardopirovano, Even though i can get the value of case via: > cfn.(SwitchCase).getExpr().getFullyConverted().getValue() If i can replace "Here i'd like to ..." with "cfn.???" (which returns "ABC") , it's the...

@edoardopirovano , The query you shared is working well. One more question, is there any way to get the "[XXXX]" of "case [XXXX]:" regardless of type?

@edoardopirovano, Occasionally, the strings of conditions for switch-case provide useful clues for security analysis. It would be useful if the conditions can be obtained. For example: ```ql // case ABCDE:...