|
Checking reentrancy vulnerabilities with Certora Prover
|
|
1
|
415
|
April 12, 2022
|
|
Wrong ghost value
|
|
2
|
246
|
March 27, 2022
|
|
Is it possible to specify arguments to an arbitrary function?
|
|
1
|
384
|
March 21, 2022
|
|
Is it possible to use inputs in a ghost function?
|
|
2
|
282
|
March 19, 2022
|
|
Have trouble to run the Simple project
|
|
14
|
485
|
March 14, 2022
|
|
Differences between Solidity SMTChecker and Certora prover
|
|
1
|
290
|
March 11, 2022
|
|
Need example of a couple types of functions
|
|
4
|
298
|
March 11, 2022
|
|
Function overloading warning
|
|
5
|
482
|
March 9, 2022
|
|
Problem updating certora-cli
|
|
2
|
263
|
March 8, 2022
|
|
Error while testing custom spec for ERC20
|
|
3
|
294
|
March 8, 2022
|
|
08 Working with Invariants : Property description and hint do not match
|
|
1
|
274
|
March 5, 2022
|
|
Bug in Ghost documentation
|
|
1
|
274
|
March 5, 2022
|
|
08 Invariants : Can someone explain why this rule with ghost function fails?
|
|
1
|
288
|
March 5, 2022
|
|
What does "require false" mean in a preserved block?
|
|
3
|
247
|
March 4, 2022
|
|
TicketDepot contract tests always Fail
|
|
1
|
270
|
March 3, 2022
|
|
Reference to address(this)
|
|
1
|
330
|
February 13, 2022
|
|
Followup on Tutorial 06 - Thinking about properties
|
|
1
|
281
|
March 3, 2022
|
|
What does harness mean?
|
|
1
|
224
|
March 2, 2022
|
|
How Certora seeds the contract state when running a rule?
|
|
3
|
294
|
March 2, 2022
|
|
Vacuous rule in the documentation
|
|
2
|
248
|
March 2, 2022
|
|
User != flashLoanReceiver.to(e)
|
|
1
|
199
|
March 1, 2022
|
|
What does dispatcher(true) mean?
|
|
1
|
243
|
March 1, 2022
|
|
Is there a pre-defined max value constant in CVL?
|
|
1
|
406
|
February 13, 2022
|
|
Where can I find examples of CVL files?
|
|
1
|
537
|
February 16, 2022
|
|
Why would one want to use multiple env vars?
|
|
1
|
232
|
February 17, 2022
|
|
What are "Unwinding condition in a loop" asserts?
|
|
1
|
433
|
February 17, 2022
|
|
Certora Spec Language Server VerifierCfgError
|
|
3
|
242
|
February 23, 2022
|
|
Difference between definition and function
|
|
1
|
229
|
February 23, 2022
|