ctz / rustls

96%

master: 96%

LAST BUILD ON BRANCH jbp-refactor-keyschedule

branch: jbp-refactor-keyschedule

CHANGE BRANCH

x

Reset

• jbp-refactor-keyschedule
• master
• jbp-iovec
• trytls
• jbp-tls13
• jbp-tlsserver-stable
• jbp-tls13-draft19
• jbp-ocsp
• jbp-tls13-draft20
• jbp-dangerous-apis
• jbp-lcov
• jbp-pr-79
• jbp-travis
• jbp-xfer
• jbp-separated-rng
• jbp-tls13-draft22
• jbp-get-cs
• jbp-vectored-io
• jbp-ecdsa
• HEAD
• jbp-0rtt-client
• backports-0.13
• jbp-final-tls13
• jbp-tls13-stateful-resumption
• jbp-edition-2018
• dependabot/cargo/env_logger-0.6
• jbp-no-sha1
• v/0.15.0
• v/0.15.1
• jbp-azure-pipelines
• jbp-mio-optional-for-basic-tests
• v/0.15.2
• jbp-faster-read_tls-errors
• jbp-refactor-hs
• jbp-azure-min-versions
• jbp-azure-fixes
• jbp-ring0.16
• v/0.16.0
• jbp-workspace
• dependabot/cargo/docopt-approx-1.1
• dependabot/cargo/criterion-0.3.0
• jbp-reduce-cert-resolve-sigalgs
• jbp-server-cert-resolve-alpn
• dependabot/cargo/env_logger-0.7.0
• dependabot/cargo/webpki-roots-0.18.0
• dependabot/cargo/env_logger-0.7.1
• jbp-test-workspace
• jbp-refactor-secrets
• jbp-client-auth-by-sni
• dependabot/cargo/webpki-roots-0.19.0
• jbp-mdbook
• jbp-mdbook-2
• v/0.17.0
• dependabot/cargo/mio-0.7.0
• dependabot/cargo/base64-0.12
• jbp-custom-sigverify
• jbp-tls-read-perf

Build # 923

Build Type

push

travis-ci

Committed by ctz

Commit Message

Typestate-ify TLS1.3 key schedule

This prevents a variety of mistakes, for example:

- extracting the wrong key at a given point,
- failing to input secret data,
- encrypting data with fixed keys.

Run Details

249 of 249 new or added lines in 4 files covered. (100.0%)

8118 of 8425 relevant lines covered (96.36%)

363218.51 hits per line