Skip to content

Commit

Permalink
Add property list
Browse files Browse the repository at this point in the history
  • Loading branch information
@nivcertora
nivcertora committed May 15, 2024
1 parent b8989c3 commit d71c9a8
Showing 1 changed file with 11 additions and 1 deletion.
12 changes: 11 additions & 1 deletion certora/properties.txt
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,4 +8,14 @@
7. Factory - Deterministic Address Calculation for Signers.
8. Factory - Correctness of Signer Creation. (Cant called twice, override)
9. Factory - Signature Validation (isValidSignatureForSigner Integrity)
10. Factory - Code Presence Check (_hasNoCode Integrity)
10. Factory - Code Presence Check (_hasNoCode Integrity)
11. Proxy - Immutability of Configuration Parameters (x, y, Singleton, verifier)
12. Proxy - Delegate Call Integrity (calls the _verifySignature implementation in the Singleton)
13. Proxy - Fallback data corruption (uses data appending that needed to be verified)
14. Proxy - verify return data from Delegatecall.
15. Singleton - Implementation of _verifySignature Function (Integrity)
16. Singleton - getConfiguration Function (Integrity)
17. WebAuthn - castSignature Integrity
18. WebAuthn - encodeClientDataJson Integrity
19. WebAuthn - encodeSigningMessage Integrity
20. WebAuthn - verifySignature Integrity

0 comments on commit d71c9a8

Please sign in to comment.