prb-math icon indicating copy to clipboard operation
prb-math copied to clipboard

Published 20 hours ago • verified publisher icon PaulRBerg

Write invariant tests

Open PaulRBerg opened this issue 2 years ago • 4 comments

See Trail of Bits' Learn how to fuzz like a pro: Fuzzing Arithmetics workshop, minute 34:00:

Trail of Bits: Fuzzing Arithmetics

PaulRBerg avatar Jan 26 '23 10:01 PaulRBerg

Also minute 1:47:40:

Screenshot 2023-02-03 at 7 38 30 PM

PaulRBerg avatar Feb 03 '23 17:02 PaulRBerg

The recently added assertEqCall might be useful for this:

https://github.com/foundry-rs/forge-std/pull/311

PaulRBerg avatar Mar 01 '23 10:03 PaulRBerg

Trail of Bits wrote some invariant tests for PRBMath using Echidna:

https://github.com/crytic/properties/pull/30

PaulRBerg avatar Jul 06 '23 17:07 PaulRBerg

Also related: Reusable properties for Ethereum contracts.

PaulRBerg avatar Aug 05 '23 16:08 PaulRBerg