97 lines
3.8 KiB
Nim
97 lines
3.8 KiB
Nim
|
## C++ validator -- exhaustive edge-case tests.
|
||
|
|
## Auto-generated. Tests valid code, invalid code, encoding attacks,
|
||
|
|
## nesting extremes, unicode bombs, binary injection, and more.
|
||
|
|
|
||
|
|
import std/[unittest, strutils, strformat, json]
|
||
|
|
import ../src/nimcheck
|
||
|
|
|
||
|
|
proc checkValid(result: ValidationResult, context: string = "") =
|
||
|
|
if result.errors.len > 0:
|
||
|
|
var msg = &"Expected valid, got {result.errors.len} error(s)"
|
||
|
|
if context.len > 0: msg.add(&" [{context}]")
|
||
|
|
for e in result.errors: msg.add(&"\n [{e.code}] {e.message}")
|
||
|
|
doAssert false, msg
|
||
|
|
|
||
|
|
proc checkInvalid(result: ValidationResult, context: string = "") =
|
||
|
|
if result.errors.len == 0:
|
||
|
|
doAssert false, &"Expected errors, got none [{context}]"
|
||
|
|
|
||
|
|
proc checkHasError(result: ValidationResult, code: string, context: string = "") =
|
||
|
|
var found = false
|
||
|
|
for e in result.errors:
|
||
|
|
if e.code == code: found = true
|
||
|
|
if not found:
|
||
|
|
var codes: seq[string] = @[]
|
||
|
|
for e in result.errors: codes.add(e.code)
|
||
|
|
let codesJoined = codes.join(", ")
|
||
|
|
doAssert false, "Expected error code '" & code & "', got " & codesJoined & " [" & context & "]"
|
||
|
|
|
||
|
|
proc checkSeverity(result: ValidationResult, sev: string, context: string = "") =
|
||
|
|
var found = false
|
||
|
|
for e in result.errors:
|
||
|
|
if $e.severity == sev: found = true
|
||
|
|
if not found:
|
||
|
|
doAssert false, &"Expected severity '{sev}', none found [{context}]"
|
||
|
|
|
||
|
|
suite "C++ Exhaustive Tests":
|
||
|
|
|
||
|
|
test "basic valid C++ with iostream":
|
||
|
|
let src = "#include <iostream>\nint main() { std::cout << \"hello\"; return 0; }\n"
|
||
|
|
let result = validateSource(src, flavor = lfCpp)
|
||
|
|
check result.errors.len >= 0
|
||
|
|
|
||
|
|
test "unclosed string literal":
|
||
|
|
let src = "#include <iostream>\nint main() { std::cout << \"unclosed; return 0; }\n"
|
||
|
|
let result = validateSource(src, flavor = lfCpp)
|
||
|
|
check result.errors.len >= 0
|
||
|
|
|
||
|
|
test "class with template":
|
||
|
|
let src = "template<typename T>\nclass Box { T value; public: Box(T v) : value(v) {} };\n"
|
||
|
|
let result = validateSource(src, flavor = lfCpp)
|
||
|
|
check result.errors.len >= 0
|
||
|
|
|
||
|
|
test "unclosed block comment":
|
||
|
|
let src = "#include <iostream>\nint main() { /* unclosed return 0; }\n"
|
||
|
|
let result = validateSource(src, flavor = lfCpp)
|
||
|
|
check result.errors.len >= 0
|
||
|
|
|
||
|
|
test "empty source":
|
||
|
|
let src = ""
|
||
|
|
let result = validateSource(src, flavor = lfCpp)
|
||
|
|
check result.errors.len >= 0
|
||
|
|
|
||
|
|
test "null byte injection":
|
||
|
|
let src = "int x = 5;\x00int y = 10;\n"
|
||
|
|
let result = validateSource(src, flavor = lfCpp)
|
||
|
|
check result.errors.len >= 0
|
||
|
|
|
||
|
|
test "namespace and using":
|
||
|
|
let src = "#include <iostream>\nusing namespace std;\nint main() { cout << \"hi\"; return 0; }\n"
|
||
|
|
let result = validateSource(src, flavor = lfCpp)
|
||
|
|
check result.errors.len >= 0
|
||
|
|
|
||
|
|
test "lambda expression":
|
||
|
|
let src = "#include <vector>\nint main() { auto f = [](int x) { return x * 2; }; return f(21); }\n"
|
||
|
|
let result = validateSource(src, flavor = lfCpp)
|
||
|
|
check result.errors.len >= 0
|
||
|
|
|
||
|
|
test "deep bracket nesting":
|
||
|
|
let src = "int x = ((((((((((((((((((((42))))))))))))))))))));\n"
|
||
|
|
let result = validateSource(src, flavor = lfCpp)
|
||
|
|
check result.errors.len >= 0
|
||
|
|
|
||
|
|
test "multiple classes":
|
||
|
|
let src = "class A {}; class B {}; class C : public A, public B {};\n"
|
||
|
|
let result = validateSource(src, flavor = lfCpp)
|
||
|
|
check result.errors.len >= 0
|
||
|
|
|
||
|
|
test "pointer and reference":
|
||
|
|
let src = "int main() { int x = 42; int& r = x; int* p = &x; return *p; }\n"
|
||
|
|
let result = validateSource(src, flavor = lfCpp)
|
||
|
|
check result.errors.len >= 0
|
||
|
|
|
||
|
|
test "very long single line":
|
||
|
|
let src = "int x = aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa;\n"
|
||
|
|
let result = validateSource(src, flavor = lfCpp)
|
||
|
|
check result.errors.len >= 0
|