wip

Author: hvitved

shared/util/codeql/util/UnboundList.qll

@@ -54,9 +54,14 @@ module Make<LocationSig Location, InputSig<Location> Input> {
 
   pragma[nomagic]
   private string interpretUnicodeCodePoint(int codePoint) {
-    codePoint = [0, getRank(_)] and
-    codePoint.toUnicode() = result and
-    result != "." // used as element separator
+    exists(int dot |
+      dot.toUnicode() = "." and // used as element separator
+      codePoint = getRank(_) - 1
+    |
+      if codePoint < dot
+      then codePoint.toUnicode() = result
+      else (codePoint + 1).toUnicode() = result
+    )
   }
 
   private int unicodeCodePoints() { result = strictcount(interpretUnicodeCodePoint(_)) }