First Flight #8: Math Master

Beginner FriendlyFoundry
100 EXP
Submission Details
Severity: high
Valid

sqrt function does not pass symbolic verification

Updates

Lead Judging Commences

InAllHonesty Lead Judge 8 months ago
Submission Judgement Published
Validated
Assigned finding tags:

Sqrt yields incorrect results for certain inputs because 16777002 doesn't represent the maximum value resulting from a right shift

AcT3R Auditor
8 months ago
InAllHonesty Lead Judge
8 months ago

Support

FAQs

Can’t find an answer? Join our Discord or follow us on Twitter.