Enri Ozuni

Update Jenkins file to include JUnit Plugin-in tests during build stage

1

With the fixing of issue #427, the JUnit Plugin-in tests will be able to run from the CLI. For this reason, the [Jenkins](https://github.com/eclipse-cognicrypt/CogniCrypt/blob/master/Jenkinsfile#L12) file needs to be changed so that...

Code error on generated template at Digital Signature task

1

The generated template regarding _Digitally sign documents_ task introduces code errors as is shown in the image below.  After some research, this most probably stems from how [CrySLCodeGenerator](https://github.com/eclipse-cognicrypt/CogniCrypt/blob/master/plugins/de.cognicrypt.codegenerator/src/main/java/de/cognicrypt/codegenerator/crysl/CrySLCodeGenerator.java) class...

# Description This pull request adds the GitHub Actions tool into our CI/CD operations. At the moment, we are using the tool Jenkins tool which builds CogniCrypt only on a...

# Description Jenkins CI is failing due to a dependency not being resolved. Added the `-U` flag in the build command to update all dependencies on the server, so that...

Fix casting error in CrySLParser.java on cryslhandler

2

# Description This PR fixes a casting error on _cryslhandler_ module because the static analysis and code generation components of CogniCrypt were not working. ## Type of change - [X]...

# Description This pull request contains required code changes so that the Testgen module that is found [here](https://github.com/CROSSINGTUD/CogniCrypt_TESTGEN/tree/develop), can be incorporated into CogniCrypt. The module is also called CogniCrypt_TESTGEN and...

With the new preference page options added in this PR #417, the `load custom rules` checkbox in preferences seems to be a little redundant. It currently loads all the rules...

Test-case sampling

2

With the fix of issue #240, it was seen that there is a need for _test-case sampling_ in CryptoAnalysis. Currently, there are around 280 JUnit test cases in the repository...

Incorrect number of occurrences for RequiredPredicateError in a headless test

2

The following project from [Braga et al](https://github.com/CROSSINGTUD/CryptoAnalysis/issues/135) was headless tested. ```java public static void main(String args[]) { try { Security.addProvider(new BouncyCastleProvider()); // provedor BC byte[] msgAna = ("Insecure default RSA.").getBytes();...

Incorrect number of occurrences for ConstraintError in a headless test

1

The following project from [Braga et al](https://github.com/CROSSINGTUD/CryptoAnalysis/issues/135) was headless tested. ```java public static void main(String[] args) throws Exception { // par de chaves de Ana e configurações do criptosistema KeyPairGenerator...