Skip to content

Commit a253b77

Browse files
committed
Rust: Add clarifying comment
1 parent 632e0c8 commit a253b77

File tree

1 file changed

+6
-0
lines changed

1 file changed

+6
-0
lines changed

rust/ql/src/utils/modelgenerator/internal/CaptureModels.qll

+6
Original file line numberDiff line numberDiff line change
@@ -107,6 +107,12 @@ module ModelGeneratorInput implements ModelGeneratorInputSig<Location, RustDataF
107107

108108
predicate sinkModelSanitizer(DataFlow::Node node) { none() }
109109

110+
/**
111+
* Holds if `source` is an API entrypoint, i.e., a source of input where data
112+
* can flow in to a library. This is used for creating sink models, as we
113+
* only want to mark functions as sinks if input to the function can reach
114+
* (from an input source) a known sink.
115+
*/
110116
predicate apiSource(DataFlow::Node source) { source instanceof DataFlow::ParameterNode }
111117

112118
bindingset[sourceEnclosing, api]

0 commit comments

Comments
 (0)