C#: Instantiate shared Guards and shared ControlFlowReachability and replace nullness #20904
aschackmullAnnotations
1 error and 8 warnings
|
qldoc
Process completed with exit code 1.
|
|
qldoc:
csharp/ql/lib/semmle/code/csharp/dataflow/Nullness.qll#L280
Missing QLdoc for classless-predicate Nullness::maybeNullDeref/4
|
|
qldoc:
csharp/ql/lib/codeql/controlflow/ControlFlow.qll#L138
Missing QLdoc for member-predicate ControlFlow::Make::AstNode::getParent/0
|
|
qldoc:
csharp/ql/lib/codeql/controlflow/ControlFlow.qll#L137
Missing QLdoc for class ControlFlow::Make::AstNode
|
|
qldoc:
csharp/ql/lib/codeql/controlflow/ControlFlow.qll#L126
Missing QLdoc for module ControlFlow::Make
|
|
qldoc:
csharp/ql/lib/semmle/code/csharp/controlflow/ControlFlowElement.qll#L45
Missing QLdoc for member-predicate ControlFlowElement::ControlFlowElement::getBasicBlock/0
|
|
qldoc:
csharp/ql/lib/semmle/code/csharp/controlflow/ControlFlowElement.qll#L43
Missing QLdoc for member-predicate ControlFlowElement::ControlFlowElement::getControlFlowNode/0
|
|
qldoc:
csharp/ql/lib/semmle/code/csharp/controlflow/ControlFlowGraph.qll#L254
Missing QLdoc for class ControlFlowGraph::ControlFlow::Nodes::NormalExitNode
|
|
qldoc:
csharp/ql/lib/codeql/controlflow/Cfg.qll#L1188
Missing QLdoc for class Cfg::MakeWithSplitting::NormalExitNode
|