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

Java: Add manual overlay annotations

Browse Source
This commit is contained in:
Kasper Svendsen
2025-01-15 08:42:29 +01:00
parent 81b677a2d9
commit b6e56f26c7
8 changed files with 8 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
shared/dataflow/codeql/dataflow/internal/DataFlowImplCommon.qll
View File

@@ -291,6 +291,7 @@ module MakeImplCommon<LocationSig Location, InputSig<Location> Lang> {
* to `lambdaCall`, if any. That is, `lastCall` is able to target the enclosing
* callable of `lambdaCall`.
*/
overlay[global]
pragma[nomagic]
predicate revLambdaFlow(
Call lambdaCall, LambdaCallKind kind, Node node, Type t, boolean toReturn, boolean toJump,