hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-29 18:55:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

Update java/ql/src/experimental/Security/CWE/CWE-352/JsonpInjection.ql

Browse Source 
Co-authored-by: Chris Smowton <smowton@github.com>
This commit is contained in:
haby0
2021-04-10 04:29:06 +08:00
committed by GitHub
parent 760231c004
commit 9635a36044
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
java/ql/src/experimental/Security/CWE/CWE-352/JsonpInjection.ql
View File

@@ -16,7 +16,10 @@ import semmle.code.java.dataflow.FlowSources
import semmle.code.java.deadcode.WebEntryPoints
import DataFlow::PathGraph
/** Determine whether there is a verification method for the remote streaming source data flow path method. */
/**
* Holds if some `Filter.doFilter` method exists in the whole program that takes some user-controlled
* input and tests it with what appears to be a token- or authentication-checking function.
*/
predicate existsFilterVerificationMethod() {
exists(DataFlow::Node source, DataFlow::Node sink, VerificationMethodFlowConfig vmfc, Method m |
vmfc.hasFlow(source, sink) and