tree c0f35dc459131f98760dd8cef9dc947b22c9863b
parent 96fb0ee9cf618339e5467eedfcba74145ba80c7d
author Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> 1562760845 +0200
committer Jarno Lamsa <jarno.lamsa@arm.com> 1566555091 +0300

Implement usage checks in context_save()

Enforce restrictions indicated in the documentation.

This allows to make some simplifying assumptions (no need to worry about
saving IVs for CBC in TLS < 1.1, nor about saving handshake data) and
guarantees that all values marked as "forced" in the design document have the
intended values and can be skipped when serialising.

Some of the "forced" values are not checked because their value is a
consequence of other checks (for example, session_negotiated == NULL outside
handshakes). We do however check that session and transform are not NULL (even
if that's also a consequence of the initial handshake being over) as we're
going to dereference them and static analyzers may appreciate the info.