Sven Meyer

icon location Paderborn

Results 8 comments of Sven Meyer

Support custom tests

I reworked some parts to include the custom classes in the test resources of the project. This has the andavantage that there is no additional project containing the custom classes...

CryptoAnalysis does not check CONSTRAINTS if no ORDER is specified.

In CrySL the `ORDER` section is mandatory. Therefore, if the `ORDER` section is missing (or the expression is not valid), CryptoAnalysis will not parse the rules correctly and the constraints...

Fix check on negated alternatives

A fix and tests have been added in #376. Therefore, this PR is not required anymore

Analysis crashes when run on our own CryptoAnalysis-1.0.0-jar-with-dependencies.jar file

The jar from the [Release](https://github.com/CROSSINGTUD/CryptoAnalysis/releases/tag/2.8.0) doesn't throw any errors and performs the analysis as expected.

OR fails when none of the predicates in REQUIRES section are ensured

Fixed in #265

Incorrect number of occurrences for ConstraintError in a headless test

Fixed in #486

Incorrect number of occurrences for RequiredPredicateError in a headless test

Fixed in #486

WIP Adding necessary crysl rules to support ECIES

@svenfeld What exactly do the changes do? Do they just add additional rules for the BouncyCastle API? Then, there should be no problem. Note that the DataFlowScope just determines which...