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

Support propagating taint of inner object

Browse Source
This commit is contained in:
Benjamin Muskalla
2021-11-12 09:39:59 +01:00
parent 2d4176bec0
commit b8809a20d8
3 changed files with 9 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -5,7 +5,6 @@
*/
import java
import ModelGeneratorUtils
import semmle.code.java.dataflow.TaintTracking
import semmle.code.java.dataflow.internal.DataFlowImplCommon
import semmle.code.java.dataflow.internal.DataFlowNodes
@@ -148,6 +147,8 @@ private predicate thisAccess(DataFlow::Node n) {
n.asExpr().(InstanceAccess).isOwnInstanceAccess()
or
n.(DataFlow::ImplicitInstanceAccess).getInstanceAccess() instanceof OwnInstanceAccess
or
n.asExpr().(FieldAccess).isOwnFieldAccess()
}
/**