The query library for the cryptography module doesn't appear to recognize asymmetric encryption as an operation. Also, unknown cipher block modes result in unsatisfied predicate rather than producing a 'none' result.
Activity
bdrodes commentedon Oct 9, 2023
Moved to a new approach of crypto modeling.
Merge pull request #1 from jketema/amammad-cpp-bombs
Merge pull request #1 from GitHubSecurityLab/reusable_workflows
Merge pull request #1 from github/extensionpack
Merge pull request #1 from nicolaswill/brodes/experiments
Merge pull request #1 from geoffw0/sql
Merge pull request #1 from geoffw0/initnotrun .expected
Merge pull request #1 from geoffw0/changenote
X++: fix correctness issues found in review