iframe-proxy | Sunbelt Computer Software

40 lines (35 loc) · 1.04 KB

 * Provides utilities for working with basic blocks in tests.
overlay[local?]
import java
import codeql.util.Boolean
private predicate entryOrExit(ControlFlowNode n) {
  n instanceof ControlFlow::EntryNode or
  n instanceof ControlFlow::AnnotatedExitNode or
  n instanceof ControlFlow::ExitNode
/** Gets the first AST node in the basic block `bb`, if any. */
ControlFlowNode getFirstAstNode(BasicBlock bb) { result = getFirstAstNode(bb, false) }
 * Gets the first AST node in the basic block `bb`, if any. Otherwise, gets
 * the first synthetic node.
ControlFlowNode getFirstAstNodeOrSynth(BasicBlock bb) { result = getFirstAstNode(bb, true) }
private ControlFlowNode getFirstAstNode(BasicBlock bb, Boolean allowSynthetic) {
    min(ControlFlowNode n, int i, int astOrder |
      bb.getNode(i) = n and
      if n.injects(_)
      then astOrder = 0
        if entryOrExit(n)
        then astOrder = 1
        else (
          allowSynthetic = true and astOrder = 2
      n order by astOrder, i

Sunbelt Computer Software

PL/B Language Development and Support

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Sunbelt Computer Software

PL/B Language Development and Support

Uh oh!

FilesExpand file tree

BasicBlock.qll

Latest commit

History

BasicBlock.qll

File metadata and controls