forked from aws/s2n-tls
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
s2n_connection: Move all bitfield fields up front
Ultimately, this is for the benefit of the SAW proofs. Due to a limitation in how SAW currently works, bitfields must be accessed by index rather than by name, and due to how often new fields are added to `s2n_connection`, the only way to do this in way that's maintainable is to have all the bitfield fields be up front. That way, the index to access the bitfield will always be zero, which significantly decreases the likelihood that the SAW proofs will need to be updated with each new field added to `s2n_connection`. This is all rather unfortunate. See GaloisInc/saw-script#1461 for a plan to make handling bitfields more maintainable in SAW.
- Loading branch information
1 parent
b83e187
commit ba47998
Showing
1 changed file
with
52 additions
and
52 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters