-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
[RLH-36] [INFO] README/NatSpec claims with no pinning test (residue): the packed-collision motivating example, 'a Foo is ALWAYS 4 words' with populated members, deterministic boundary lengths, pointer non-determinism, bytes1[] as a word list
auditAudit findingAudit findinginfoAudit findingAudit findingpass2Audit findingAudit findingStatus: Open.#76 In rainlanguage/rain.lib.hash;[RLH-35] [LOW] slither filter_paths entry test is an unanchored regex over the absolute path: any checkout whose path contains 'test' silently filters every src finding
auditAudit findingAudit findinglowAudit findingAudit findingpass6Audit findingAudit findingStatus: Open.#75 In rainlanguage/rain.lib.hash;[RLH-34] [LOW] Cross-type collision list omits the type-level collision the README's own two procedures produce: a struct of only pointer fields hashes exactly as the fold of a list of those fields
auditAudit findingAudit findinglowAudit findingAudit findingpass5Audit findingAudit findingStatus: Open.#74 In rainlanguage/rain.lib.hash;[RLH-33] [INFO] forge-std pinned at 1.16.1; 1.16.2 is published — confirm the pin is intentional
auditAudit findingAudit findinginfoAudit findingAudit findingpass4Audit findingAudit findingStatus: Open.#73 In rainlanguage/rain.lib.hash;[RLH-32] [INFO] Flat src/ and test/ layout is a migration candidate against the org's kind-partitioned tree
auditAudit findingAudit findinginfoAudit findingAudit findingpass4Audit findingAudit findingStatus: Open.#72 In rainlanguage/rain.lib.hash;[RLH-31] [INFO] Tests that assert less than their names or docs claim: tautological assertTrue lines, allocator facts asserted for element 0 only with a wrong 'zero-initialised' doc, a boundary value never pinned, unused fuzz params
auditAudit findingAudit findinginfoAudit findingAudit findingpass5Audit findingAudit findingStatus: Open.#71 In rainlanguage/rain.lib.hash;[RLH-30] [INFO] HashPatternFold: oracles seeded from the library's HASH_NIL despite the builtins-only claim, one tautological assertion, and the README item Yul never runs inside a fold
auditAudit findingAudit findinginfoAudit findingAudit findingpass5Audit findingAudit findingStatus: Open.#70 In rainlanguage/rain.lib.hash;[RLH-29] [INFO] Test-suite documentation and names: LibHashNoAllocTest undocumented, tests named after README exposition or their oracle, LibHashSlow has no NatSpec
auditAudit findingAudit findinginfoAudit findingAudit findingpass3Audit findingAudit findingStatus: Open.#69 In rainlanguage/rain.lib.hash;[RLH-28] [LOW] Small doc inaccuracies: a README section citation that does not exist, a stale Yul comment, a wrong bucket qualifier, a wrong nesting-size sentence, an induction step attributed to the base case
auditAudit findingAudit findinglowAudit findingAudit findingpass3Audit findingAudit findingStatus: Open.#68 In rainlanguage/rain.lib.hash;[RLH-27] [LOW] EIP-712 block quote elides the sentences stating the RLP/bytestring collision and its fix, and cites an earlier version with no link
auditAudit findingAudit findinglowAudit findingAudit findingpass3Audit findingAudit findingStatus: Open.#67 In rainlanguage/rain.lib.hash;[RLH-26] [LOW] README never names the library, its API, HASH_NIL, the package or an import line, and promises an implementation/QA guide that no section provides
auditAudit findingAudit findinglowAudit findingAudit findingpass3Audit findingAudit findingStatus: Open.#66 In rainlanguage/rain.lib.hash;[RLH-25] [INFO] Compiler version is stated in nine places with no agreement check, and README citations point at moving or stale refs
auditAudit findingAudit findinginfoAudit findingAudit findingpass6Audit findingAudit findingStatus: Open.#65 In rainlanguage/rain.lib.hash;