Marvin Vogel
Marvin Vogel
Signed-off-by: Marvin Philipp Vogel # Description This commit changes the gui for the code generators task selection. It shows all titles and descriptions of the task next to their buttons...
# Description The built-in methods (alg, mode, padding, and so on) do not work in the REQUIRES section. For example, in the Cipher rule, we have generatedkey[key, alg(transformation)], but the...
# Description This changes will add a "remove selected ruleset" button to the preference page. Fixes #464 ## Type of change - [ ] Bug fix (non-breaking change which fixes...
Signed-off-by: Marvin Philipp Vogel # Description This PR gives the code generator plugin a new gui. The design is oriented to the recently changed `TaskSelectionPage`. - Every question got it's...
Currently, tests are bounded to the existing crysl rules. But functionality should be tested also for more general cases. This is needed, especially when thinking of other use-cases CogniCrypt could...
When comparing a required predicate with an ensured predicate, objects in parameter were not compared. This has led to imprecise matches. E.g. a required predicate and an ensured predicate with...
# How does the check work? CrySL required preds will be stored as `CrySLConstraint`s. The `ConstraintSolvers` will convert required `CrySLConstraint`s to `AlternativeReqPredicates`, see here https://github.com/CROSSINGTUD/CryptoAnalysis/blob/35d09163f97b6919a4359fcaa0e846af95c1fed1/CryptoAnalysis/src/main/java/crypto/constraints/ConstraintSolver.java#L111 All required preds, also the...