Rust: Adopt shared flow summaries library #15948
Annotations
1 error and 2 warnings
|
Check QLdoc coverage
Process completed with exit code 1.
|
|
Check QLdoc coverage:
rust/ql/lib/codeql/rust/dataflow/internal/DataFlowImpl.qll#L238
Missing QLdoc for member-predicate DataFlowImpl::Node::ParameterNode::isParameterOf/2
|
|
Check QLdoc coverage:
rust/ql/lib/codeql/rust/dataflow/FlowSummary.qll#L14
Missing QLdoc for module FlowSummary::LibraryCallable
|
Loading