hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 09:13:20 +01:00
Code Issues Packages Projects Releases Wiki Activity

only use neutral models of kind "sink"

Browse Source
This commit is contained in:
Jean Helie
2023-06-14 15:07:12 +02:00
parent b572974536
commit daf2743143
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
java/ql/src/Telemetry/AutomodelApplicationModeCharacteristics.qll
View File

@@ -79,7 +79,7 @@ module ApplicationCandidatesImpl implements SharedCharacteristics::CandidateSig
predicate isNeutral(Endpoint e) { predicate isNeutral(Endpoint e) {
exists(string package, string type, string name, string signature | exists(string package, string type, string name, string signature |
sinkSpec(e, package, type, name, signature, _, _) and sinkSpec(e, package, type, name, signature, _, _) and
ExternalFlow::neutralModel(package, type, name, [signature, ""], _, _) ExternalFlow::neutralModel(package, type, name, [signature, ""], "sink", _)
) )
} }

2
java/ql/src/Telemetry/AutomodelFrameworkModeCharacteristics.qll
View File

@@ -60,7 +60,7 @@ module FrameworkCandidatesImpl implements SharedCharacteristics::CandidateSig {
predicate isNeutral(Endpoint e) { predicate isNeutral(Endpoint e) {
exists(string package, string type, string name, string signature | exists(string package, string type, string name, string signature |
sinkSpec(e, package, type, name, signature, _, _) and sinkSpec(e, package, type, name, signature, _, _) and
ExternalFlow::neutralModel(package, type, name, [signature, ""], _, _) ExternalFlow::neutralModel(package, type, name, [signature, ""], "sink", _)
) )
} }