Go: migrate control flow graph to shared CFG library #23388
Annotations
1 error and 10 warnings
|
Check QLdoc coverage
Process completed with exit code 1.
|
|
Check QLdoc coverage:
go/ql/lib/semmle/go/controlflow/IR.qll#L443
Missing QLdoc for member-predicate IR::IR::WriteInstruction::isInitialization/0
|
|
Check QLdoc coverage:
go/ql/lib/semmle/go/controlflow/IR.qll#L441
Missing QLdoc for member-predicate IR::IR::WriteInstruction::getLhs/0
|
|
Check QLdoc coverage:
go/ql/lib/semmle/go/controlflow/IR.qll#L417
Missing QLdoc for member-predicate IR::IR::SliceInstruction::getMax/0
|
|
Check QLdoc coverage:
go/ql/lib/semmle/go/controlflow/IR.qll#L412
Missing QLdoc for member-predicate IR::IR::SliceInstruction::getHigh/0
|
|
Check QLdoc coverage:
go/ql/lib/semmle/go/controlflow/IR.qll#L407
Missing QLdoc for member-predicate IR::IR::SliceInstruction::getLow/0
|
|
Check QLdoc coverage:
go/ql/lib/semmle/go/controlflow/IR.qll#L405
Missing QLdoc for member-predicate IR::IR::SliceInstruction::getBase/0
|
|
Check QLdoc coverage:
go/ql/lib/semmle/go/controlflow/IR.qll#L392
Missing QLdoc for member-predicate IR::IR::ElementReadInstruction::getIndex/0
|
|
Check QLdoc coverage:
go/ql/lib/semmle/go/controlflow/IR.qll#L379
Missing QLdoc for member-predicate IR::IR::MethodReadInstruction::getMethod/0
|
|
Check QLdoc coverage:
go/ql/lib/semmle/go/controlflow/IR.qll#L377
Missing QLdoc for member-predicate IR::IR::MethodReadInstruction::getReceiver/0
|
|
Check QLdoc coverage:
go/ql/lib/semmle/go/controlflow/IR.qll#L343
Missing QLdoc for member-predicate IR::IR::ImplicitFieldReadInstruction::getBaseInstruction/0
|
Loading