Add CodeQL Quantum models and queries (Java, C++) to experimental#12
Closed
nicolaswill wants to merge 120 commits intomainfrom
Closed
Add CodeQL Quantum models and queries (Java, C++) to experimental#12nicolaswill wants to merge 120 commits intomainfrom
nicolaswill wants to merge 120 commits intomainfrom
Conversation
Concepts for elliptic curves and misc. updates.
Move language-agnostic model to shared library
…ryption operations.
…nwrap and doFinal calls. Corrected pathing for init tracing to detect what mode is being set along a path. Added support for tracing the init operation mode argument to source. Since this involved creating an Operation Mode, changes were also made to make cipher block modes (CBC) more explicit (previously just called mode, but now that term is used for various purposes).
…/codeql into brodes/key_agreement
Initial progress on key agreement.
Adding a sketch for a CipherOperation concept to model encryption/dec…
Implement first stage cryptography modelling and queries
…eted connecting padding to algorithm instances if through a set padding interface.
… handle the final and update mechanics, matching the JCA. Similarly need to update cipher to follow the JCA for update/final as well.
Brodes/openssl refactor
nicolaswill
changed the title
Owner
Author
|
Closing this to reopen a pull-request targeting the upstream repository. |
This file contains hidden or 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
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
3 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
This pull request introduces a framework we've named "GitHub Quantum" for inventorying and analyzing cryptography and its behaviour via the
experimental.Quantumlibrary and associated query packs.