-
Notifications
You must be signed in to change notification settings - Fork 2
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
LibParseStackName: two fuzz tests fail for a specific ParseState input
bugSomething isn't workingSomething isn't workingStatus: Open.#578 In rainlanguage/rainlang;Pragma keyword fuzz tests draw their random char via charFromMask on complement masks, so every run tests exactly NUL
adversarialFound by adversarial testingFound by adversarial testingauditAudit findingAudit findingStatus: Open.#567 In rainlanguage/rainlang;Sub-parseable literal scans complement uint128 masks: high bytes halt the scan, contradicting the UTF-8 comment, and the semantics silently flip when rain.string widens to uint256
adversarialFound by adversarial testingFound by adversarial testingauditAudit findingAudit findingStatus: Open.#566 In rainlanguage/rainlang;RHS literal branch has no yang guard: adjacent literals parse without whitespace between them
adversarialFound by adversarial testingFound by adversarial testingauditAudit findingAudit findingStatus: Open.#565 In rainlanguage/rainlang;- Status: Open.#561 In rainlanguage/rainlang;
- Status: Open.#555 In rainlanguage/rainlang;
- Status: Open.#552 In rainlanguage/rainlang;
- Status: Open.#550 In rainlanguage/rainlang;
- Status: Open.#545 In rainlanguage/rainlang;
- Status: Open.#542 In rainlanguage/rainlang;
- Status: Open.#541 In rainlanguage/rainlang;
- Status: Open.#519 In rainlanguage/rainlang;