Commit Graph

885 Commits

Author SHA1 Message Date
Fabian Kaczmarczyck
51681e4910 changes operation touch behaviour 2020-11-13 06:51:53 +01:00
kaczmarczyck
748e149b71 Merge branch 'master' into empty-auth-up 2020-11-13 06:50:16 +01:00
Julien Cretin
1c2e450660 Improve documentation 2020-11-12 16:24:35 +01:00
Julien Cretin
db5b21a4ff Add more documentation 2020-11-12 10:54:23 +01:00
Julien Cretin
c6f9270be1 Update documentation 2020-11-11 17:52:33 +01:00
Julien Cretin
5673b9148f Use new persistent store library (and delete old) 2020-11-11 17:31:31 +01:00
Julien Cretin
d3ee698d69 Build store fuzzing in run_desktop_tests too 2020-11-11 12:56:36 +01:00
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