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

Simplify query

Browse Source
This commit is contained in:
Benjamin Muskalla
2021-10-01 12:34:54 +02:00
parent 9a859334d4
commit e607953b9c
1 changed files with 9 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

21
java/ql/src/utils/model-generator/CaptureSummaryModels.ql
View File

@@ -53,7 +53,8 @@ class ParameterToFieldConfig extends TaintTracking::Configuration {
ParameterToFieldConfig() { this = "ParameterToFieldConfig" }
override predicate isSource(DataFlow::Node source) {
not source.asParameter().getType() instanceof PrimitiveType
source instanceof DataFlow::ParameterNode and
not source.getType() instanceof PrimitiveType
}
override predicate isSink(DataFlow::Node sink) {
@@ -77,17 +78,13 @@ class ParameterToReturnValueTaintConfig extends TaintTracking::Configuration {
ParameterToReturnValueTaintConfig() { this = "ParameterToReturnValueTaintConfig" }
override predicate isSource(DataFlow::Node source) {
exists(Parameter p, Callable api |
p = source.asParameter() and
api = p.getCallable() and
(
not api.getReturnType() instanceof PrimitiveType and
not p.getType() instanceof PrimitiveType
) and
(
not api.getReturnType() instanceof TypeClass and
not p.getType() instanceof TypeClass
)
exists(Callable api |
source instanceof DataFlow::ParameterNode and
api = source.asParameter().getCallable() and
not api.getReturnType() instanceof PrimitiveType and
not api.getReturnType() instanceof TypeClass and
not source.asParameter().getType() instanceof PrimitiveType and
not source.asParameter().getType() instanceof TypeClass
)
}