JS octal escape fix

lmasroca · lmasroca · commit e877db25d03f · 2026-04-12T20:37:51.000-03:00
diff --git a/core/src/main/antlr4/org/evomaster/core/parser/RegexEcma262.g4 b/core/src/main/antlr4/org/evomaster/core/parser/RegexEcma262.g4
@@ -247,7 +247,9 @@ BaseChar
  ;
 
 fragment OctalEscapeSequence
- : OctalDigit OctalDigit? OctalDigit?
+ : OctalDigit
+ | OctalDigit OctalDigit
+ | [0-3] OctalDigit OctalDigit
 ;
 
 fragment UnicodeEscapeSequence
diff --git a/core/src/test/kotlin/org/evomaster/core/parser/GeneRegexEcma262VisitorTest.kt b/core/src/test/kotlin/org/evomaster/core/parser/GeneRegexEcma262VisitorTest.kt
@@ -380,9 +380,8 @@ open class GeneRegexEcma262VisitorTest : RegexTestTemplate(){
         checkCanSample("""\c""", "\\c", 100)
         checkCanSample("""\c*""", "\\c*", 100)
         checkCanSample("""\c0""", "\\c0", 100)
-        checkCanSample("""\0""", "\u0000", 100)
+        checkCanSample("""\0\000""", "\u0000\u0000", 100)
         checkCanSample("""\001\007""", "\u0001\u0007", 100)
-        checkCanSample("""\123""", "\u0053", 100)
-        checkCanSample("""\777""", "\u01ff", 100)
+        checkCanSample("""\123\377""", "\u0053\u00ff", 100)
     }
 }

Original file line number	Diff line number	Diff line change
`@@ -247,7 +247,9 @@ BaseChar`
`247`	`247`	`;`
`248`	`248`
`249`	`249`	`fragment OctalEscapeSequence`
`250`		`- : OctalDigit OctalDigit? OctalDigit?`
	`250`	`+ : OctalDigit`
	`251`	`+ \| OctalDigit OctalDigit`
	`252`	`+ \| [0-3] OctalDigit OctalDigit`
`251`	`253`	`;`
`252`	`254`
`253`	`255`	`fragment UnicodeEscapeSequence`
Original file line number	Diff line number	Diff line change
`@@ -380,9 +380,8 @@ open class GeneRegexEcma262VisitorTest : RegexTestTemplate(){`
`380`	`380`	`checkCanSample("""\c""", "\\c", 100)`
`381`	`381`	`checkCanSample("""\c""", "\\c", 100)`
`382`	`382`	`checkCanSample("""\c0""", "\\c0", 100)`
`383`		`- checkCanSample("""\0""", "\u0000", 100)`
	`383`	`+ checkCanSample("""\0\000""", "\u0000\u0000", 100)`
`384`	`384`	`checkCanSample("""\001\007""", "\u0001\u0007", 100)`
`385`		`- checkCanSample("""\123""", "\u0053", 100)`
`386`		`- checkCanSample("""\777""", "\u01ff", 100)`
	`385`	`+ checkCanSample("""\123\377""", "\u0053\u00ff", 100)`
`387`	`386`	`}`
`388`	`387`	`}`