10214202563
97%
master: 85%

Ran 02 Aug 2024 10:37AM CUT

Jobs 1

Files 12

Run time 1min

Badge

Committed 02 Aug 2024 10:36AM CUT coverage: 100.0%. Remained the same

Build Type

push

github

Committed by

Commit Message

Passkey Audit Report Added (#476)

This PR adds the Passkey Audit (`v0.2.1`) done by Certora to the Passkey
`modules` folder.

Fixes #460

Run Details

28 of 28 branches covered (100.0%)

Branch coverage included in aggregate %.

92 of 92 relevant lines covered (100.0%)

30.29 hits per line

ID	Job ID	Ran	Files	Coverage
1	10214202563.1	02 Aug 2024 10:37AM CUT	12	100.0	GitHub Action Run

Coverage	File	Lines	Relevant	Covered	Hits/Line	Branch Hits
100.0	...asskey/contracts/4337/SafeWebAuthnSharedSigner.sol	168	19	19	12.0	6
100.0	...ules/passkey/contracts/base/SignatureValidator.sol	44	4	4	13.0	4
100.0	...les/passkey/contracts/interfaces/IP256Verifier.sol	35	0	0	0.0	0
100.0	...asskey/contracts/interfaces/ISafeSignerFactory.sol	65	0	0	0.0	0
100.0	modules/passkey/contracts/interfaces/ISafe.sol	43	0	0	0.0	0
100.0	modules/passkey/contracts/libraries/ERC1271.sol	25	0	0	0.0	0
100.0	modules/passkey/contracts/libraries/P256.sol	169	13	13	45.0	8
100.0	modules/passkey/contracts/libraries/WebAuthn.sol	357	21	21	41.0	4
100.0	...es/passkey/contracts/SafeWebAuthnSignerFactory.sol	101	12	12	22.0	2
100.0	...ules/passkey/contracts/SafeWebAuthnSignerProxy.sol	85	9	9	25.0	0