Java: Fix bad magic.

2026-04-29 18:55:14 +02:00 · 2021-06-30 11:09:08 +02:00
parent 374859efb4
commit e235e151f1
1 changed files with 1 additions and 0 deletions
--- a/java/ql/src/semmle/code/java/security/RequestForgery.qll
+++ b/java/ql/src/semmle/code/java/security/RequestForgery.qll
@@ -149,6 +149,7 @@ private class StringBuilderVarExt extends StringBuilderVar {
  /**
   * Implements `StringBuilderVarExt.getNextAppendIncludingAssignmentChains+(prev)`.
   */
+  pragma[nomagic]
  StringBuilderAppend getSubsequentAppendIncludingAssignmentChains(
    StringBuilderConstructorOrAppend prev
  ) {