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

Report error even if interpretElement resolves to a non-Callable Element

Browse Source 
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
This commit is contained in:
Chris Smowton
2021-07-13 16:16:01 +01:00
committed by GitHub
parent bb5fefa47f
commit 97694bc9a1
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
java/ql/src/utils/GenerateFlowTestCase.qll
View File

@@ -41,7 +41,7 @@ query string getAParseFailure(string reason) {
string namespace, string type, boolean subtypes, string name, string signature, string ext
|
summaryModel(namespace, type, subtypes, name, signature, ext, _, _, _, result) and
not exists(interpretElement(namespace, type, subtypes, name, signature, ext)) and
not interpretElement(namespace, type, subtypes, name, signature, ext) instanceof Callable and
reason = "callable could not be resolved"
)
or