Java: IPA the CFG (second try) #15634
Annotations
1 error and 5 warnings
|
Check QLdoc coverage
Process completed with exit code 1.
|
|
Check QLdoc coverage:
java/ql/lib/semmle/code/java/controlflow/BasicBlocks.qll#L70
Missing QLdoc for class BasicBlocks::ExitBlock
|
|
Check QLdoc coverage:
java/ql/lib/semmle/code/java/ControlFlowGraph.qll#L87
Missing QLdoc for module ControlFlowGraph::ControlFlow
|
|
Check QLdoc coverage:
java/ql/lib/semmle/code/java/ControlFlowGraph.qll#L158
Missing QLdoc for member-predicate ControlFlowGraph::ControlFlow::Node::getLocation/0
|
|
Check QLdoc coverage:
java/ql/lib/semmle/code/java/ControlFlowGraph.qll#L164
Missing QLdoc for member-predicate ControlFlowGraph::ControlFlow::Node::getAstNode/0
|
|
Check QLdoc coverage:
java/ql/lib/semmle/code/java/ControlFlowGraph.qll#L171
Missing QLdoc for class ControlFlowGraph::ControlFlow::ExitNode
|
Loading