⚝
One Hat Cyber Team
⚝
Your IP:
216.73.216.133
Server IP:
185.119.109.197
Server:
Linux managedhosting.chostar.me 5.15.0-160-generic #170-Ubuntu SMP Wed Oct 1 10:06:56 UTC 2025 x86_64
Server Software:
Apache
PHP Version:
8.1.33
Buat File
|
Buat Folder
Eksekusi
Dir :
~
/
usr
/
share
/
doc
/
re2c
/
examples
/
go
/
eof
/
View File Name :
02_bounds_checking.re
//go:generate re2go $INPUT -o $OUTPUT package main import "strings" /*!max:re2c*/ // Expects YYMAXFILL-padded string. func lex(str string) int { // Pad string with YYMAXFILL zeroes at the end. buf := str + strings.Repeat("\000", YYMAXFILL) var cur int lim := len(buf) count := 0 for { /*!re2c re2c:define:YYCTYPE = byte; re2c:define:YYPEEK = "buf[cur]"; re2c:define:YYSKIP = "cur += 1"; re2c:define:YYLESSTHAN = "lim - cur < @@"; re2c:define:YYFILL = "return -1"; str = ['] ([^'\\] | [\\][^])* [']; [\x00] { // Check that it is the sentinel, not some unexpected null. if cur - 1 == len(str) { return count } else { return -1 } } str { count += 1; continue } [ ]+ { continue } * { return -1 } */ } } func main() { assert_eq := func(x, y int) { if x != y { panic("error") } } assert_eq(lex(""), 0) assert_eq(lex("'qu\000tes' 'are' 'fine: \\'' "), 3) assert_eq(lex("'unterminated\\'"), -1) assert_eq(lex("'unexpected \000 null\\'"), -1) }