For other CodeQL resources, including tutorials and examples, see the CodeQL documentation

getInstruction

Class MustFlowPathNode

Fields

Predicates

getASuccessor

getConfiguration

getInstruction

getLocation

toString

Charpred

MustFlowPathNode

Member predicate MustFlowPathNode :: getInstruction

Gets the underlying node.


                            
                                
                                    Instruction
                                
                                 
                            
                            
                                getInstruction
                            
                            
                                (
                                )