CogniCrypt

CogniCrypt copied to clipboard

Enables plugin to analyze kotlin projects

1

Signed-off-by: Rakshit Krishnappa Ravi

rakshitkr

# Description Please include a summary of the change and which issue is fixed. Please also include relevant motivation and context. List any dependencies that are required for this change....

krinara86

Implementation of Task Integrator (UI update, automatic naming, fixed file copying mechanism) Updated parts of the Code Generator to work with custom templates Tested on Java Version: 8 OS: Linux,...

seitzquest

**Describe the bug** The code generator at the end of the generation of a method converts all the words that equal to "return" to the killStatement + "return". This causes...

shahrzadav

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...

enriozuni

getTransitions() doesn't return all possible correct transitions

3

The method [getTransitions](https://github.com/eclipse-cognicrypt/CogniCrypt/blob/2e3d612a295d05812a39963d7a4c74a941e0083d/plugins/de.cognicrypt.codegenerator/src/main/java/de/cognicrypt/codegenerator/generator/StateMachineGraphAnalyser.java#L45-L64) in StateMachineGraphAnalyser is currently unable to handle multiple initial transitions like in [SSLParameters](https://github.com/CROSSINGTUD/Crypto-API-Rules/blob/master/JavaCryptographicArchitecture/src/SSLParameters.crysl) rule. Additionally, it is doesn't return expected transitions when `|` operator is used in...

rakshitkr

**Describe the bug** When a choose to generate with CodeGEN, strangely puts a line indicating the generated file belongs to a CodeGEN internal package. **To Reproduce** The following gif, shows...

santosdanilo

**User Issue Description** Where does this error come from? How to write secure code? (qTESLA employed but same situation with ECDSA or RSA) **Configuration:** - Eclipse version: 4.12.0.v20190605-1800 - Java...

CROSSINGExtServices

# Description Fixes an possible API-Linking issue with CrySL dependency version `2.0.0`. Thus the dependency was updated to version `2.0.1`. To avoid issues when resolving the dependency chain this plugin's...

AnakinRaW

Migrate TLS use case to CogniCrypt_GEN

1

The TLS task has not been implemented in CogniCryptGEN yet. Please do so by preparing a [code template](https://github.com/eclipse-cognicrypt/CogniCrypt/tree/develop/plugins/de.cognicrypt.codegenerator/src/main/java/de/cognicrypt/codegenerator/crysl/templates). The necessary CrySL rules hould all already exist. Assigned @AndreSonntag.

kruegers