Skip to content

Commit dfa71bb

Browse files
committed
Rust: Add neutrals to MaD format explanation
1 parent 9a76a68 commit dfa71bb

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

rust/ql/lib/codeql/rust/dataflow/internal/ModelsAsData.qll

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -13,6 +13,9 @@
1313
* `path; input; kind; provenance`
1414
* - BarrierGuards:
1515
* `path; input; branch; kind; provenance`
16+
* - Neutrals:
17+
* `package; type; name; signature; kind; provenance`
18+
* A neutral is used to indicate that a callable is neutral with respect to flow (no summary), source (is not a source) or sink (is not a sink).
1619
*
1720
* The interpretation of a row is similar to API-graphs with a left-to-right
1821
* reading.

0 commit comments

Comments
 (0)