Commit Graph

878 Commits

Author SHA1 Message Date
Julien Cretin 163e92fa6b Create fuzzing and add entropy helpers 2020-11-11 12:30:24 +01:00
Julien Cretin 8d33c7866d Merge pull request #197 from ia0/v2_lib
Add driver for new store
2020-11-11 12:09:06 +01:00
Julien Cretin d5a43c346f Rename into_ into extract_ 2020-11-11 10:28:32 +01:00
Julien Cretin 833f195d88 Merge branch 'master' into v2_lib 2020-11-10 19:44:45 +01:00
Julien Cretin 0e4be8ca4a Update documentation 2020-11-10 19:44:28 +01:00
Mirna 84dec3f636 Update in the application's workflow 2020-11-10 16:57:31 +02:00
Mirna bed4bff7ac Merge branch 'master' into nfc-example-app 2020-11-10 16:11:59 +02:00
kaczmarczyck 34bbae6eed Merge pull request #198 from kaczmarczyck/version-string
adds FIDO 2.1 PRE version string
2020-11-10 11:12:24 +01:00
kaczmarczyck 7a746e8494 Merge branch 'master' into version-string 2020-11-10 10:51:28 +01:00
kaczmarczyck 6f97dbb6ed Merge pull request #202 from kaczmarczyck/pin-retries
Change maximum PIN retries to 8
2020-11-10 10:51:13 +01:00
Fabian Kaczmarczyck 16157e64a4 change max PIN retries to 8 2020-11-10 09:52:58 +01:00
Fabian Kaczmarczyck 77d1b63284 adds a UP check where 2.1 is asking for it 2020-11-06 17:31:39 +01:00
Mirna f48046d1e4 Added checks using NFC feature flag 2020-11-05 10:39:51 +02:00
Mirna 203367b081 Updated control flow + cleaned some code 2020-11-05 10:38:59 +02:00
Mirna 0eaa2b5291 Refactor a match expression 2020-11-04 20:25:30 +02:00
Mirna c232f2344c Resolve comments 2020-11-04 20:05:32 +02:00
Mirna 8c52c707e1 Merge branch 'master' into nfc-example-app 2020-11-04 18:00:01 +02:00
Mirna aa47d1c278 Supply NFC feature flag to desktop checks 2020-11-04 17:49:28 +02:00
Mirna eb31876807 Update to calculate elapsed time for transmission 2020-11-04 17:48:50 +02:00
Fabian Kaczmarczyck e7644f158d adds FIDO 2.1 PRE version string 2020-11-04 14:39:50 +01:00
Julien Cretin 45332158df Add driver for new store 2020-11-03 21:27:32 +01:00
Julien Cretin aa4bc7faaa Merge pull request #193 from ia0/v2_lib
Add new store (without tests yet)
2020-11-03 21:25:17 +01:00
Julien Cretin a024e642d3 Return zero instead of negative immediate capacity 2020-11-03 13:30:39 +01:00
Julien Cretin 410314b780 Move transaction validity check to Format 2020-11-03 12:54:30 +01:00
Julien Cretin d734da3a0e Move transaction capacity formula to Format 2020-11-03 12:39:38 +01:00
Julien Cretin b97758dd99 Do not use import ::* 2020-11-03 11:58:20 +01:00
Julien Cretin 233c15b20c Add new store (without tests yet) 2020-11-02 11:17:09 +01:00
Julien Cretin c9fc621f59 Merge pull request #192 from ia0/v2_lib
Clarify different integer types
2020-11-02 11:16:06 +01:00
Mirna 1270cdd224 Merge pull request #3 from MirnaMuhammad98/master
Update the example-app branch
2020-11-02 11:16:08 +02:00
Mirna c0661b1387 Merge branch 'nfc-example-app' into master 2020-11-02 11:15:46 +02:00
Julien Cretin 4b48c668be Merge branch 'master' into v2_lib 2020-11-02 10:14:41 +01:00
Mirna f9705d7c26 example app 2020-11-02 11:13:58 +02:00
Mirna f6016fb123 Merge branch 'master' into nfc-example-app 2020-11-02 11:03:57 +02:00
Mirna a0ef78f0c0 Merge pull request #2 from google/master
Update the fork
2020-11-02 10:53:20 +02:00
Mirna dd814b8ded Remove duplicate code 2020-11-02 10:49:00 +02:00
Mirna 5503a09b51 Merge pull request #185 from MirnaMuhammad98/nfc-driver-interface
Add NFC driver interface
2020-10-30 11:30:41 +02:00
Mirna 69194f3960 Updates in the application logic 2020-10-29 23:07:23 +02:00
Mirna 4e36a045ae Merge branch 'master' into nfc-driver-interface 2020-10-29 22:52:25 +02:00
Mirna 9e89803cb8 Removed Select syscalls, handled in the driver 2020-10-29 22:51:51 +02:00
Julien Cretin 9778ea7fd2 Introduce distinct integer types
This PR does the following things:
- Give incompatible representations for integers with different semantics:
  - `usize` is used for natural numbers for the public API.
  - `Nat` is used internally for natural numbers (essentially a stable `usize`).
  - `Word` is used for sequences of bits representing words in flash.
  - `Position` is used for word positions in the virtual storage.
- Only use fixed size integers to preserve overflow behavior between targets.
- Use little-endian representation instead of native representation for `Word`.

Alternatives:
- Run tests and fuzzing on 32-bits architecture (or some compatibility mode).
  This approach would have better readability than the current solution (less
  conversions at public API). However it would require additional setup and
  might not be viable long-term by restricting machines on which fuzzing is
  possible.
- Accept the behavior difference for tests and fuzzing. This approach would also
  have better readability. However checking for arithmetic overflow (and other
  `usize` related concerns like memory size) is more important.
2020-10-29 18:48:15 +01:00
Julien Cretin dea28f622f Merge pull request #190 from ia0/v2_lib
Add model for new store
2020-10-29 13:29:49 +01:00
Julien Cretin 5ce91947b6 Fix StoreRatio fields visibility and improve documentation 2020-10-29 12:23:34 +01:00
Julien Cretin 8e22fbd9a6 Merge branch 'master' into v2_lib 2020-10-29 08:21:13 +01:00
Mirna 3d71da0bf5 Unify drop pattern 2020-10-28 20:28:53 +02:00
Mirna ca30c7397d Merge branch 'master' into nfc-driver-interface 2020-10-28 19:12:09 +02:00
Mirna ce446f571c Resolve Comments 2020-10-28 19:11:09 +02:00
kaczmarczyck f60c159221 Merge pull request #191 from mingxguo27/mingxguo-cred-policy
Always set default credential policy
2020-10-28 17:32:49 +01:00
mingxguo27 c6a93d0539 Always set default credential policy 2020-10-28 15:03:59 +00:00
Mirna db0a22e5c5 Merge branch 'master' into nfc-driver-interface 2020-10-27 22:21:17 +02:00
Julien Cretin e7303ed7c6 Add model for new store 2020-10-27 14:23:39 +01:00