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 10 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
10 months ago
inallhonesty Lead Judge
10 months ago

Support

FAQs

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

Cyfrin
Updraft
CodeHawks
Solodit
Resources