Skip to content

Commit 83672f5

Browse files
committed
Add neutralModel extensible predicate
1 parent a71e678 commit 83672f5

File tree

1 file changed

+7
-0
lines changed

1 file changed

+7
-0
lines changed

go/ql/lib/semmle/go/dataflow/internal/ExternalFlowExtensions.qll

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -25,3 +25,10 @@ extensible predicate summaryModel(
2525
string package, string type, boolean subtypes, string name, string signature, string ext,
2626
string input, string output, string kind, string provenance, QlBuiltins::ExtensionId madId
2727
);
28+
29+
/**
30+
* Holds if a neutral model exists for the given parameters.
31+
*/
32+
extensible predicate neutralModel(
33+
string package, string type, string name, string signature, string kind, string provenance
34+
);

0 commit comments

Comments
 (0)