CrySL MPS

This repository contains a MPS implementation of the CrySL language used in CogniCrypt. This implementation follows the language specified in Krüger et al. (2018).

Dependencies

To build the language, parts of the mbeddr-platform need to be accessible by MPS.

In recent MPS versions, necessary components may be installed as plugins from the JetBrains marketplace. In MPS go to File, Settings and Plugins. Then, search for and install the following plugins:

• de.itemis.mps.editor.diagram
• com.mbeddr.mpsutil.modellisteners
• de.itemis.mps.grammarcells

When prompted to install additional dependencies, accept that option. Finally, restart MPS and re-open this project to be ready to use it!

MPS Version

The project is known to work on MPS version 2021.2.* when installing mentioned dependencies from the plugin marketplace.

CogniCryptChecks

The CogniCryptChecks language integrates CogniCrypt into the BaseLanguage editor. The check can be run through the editor intention Analyze with CogniCrypt. Errors are then shown at the method level, details about the errors can be found in the inspector.

To run CogniCrypt, the environment variable cognicrypt_path must be set to point to a CogniCrypt jar which includes all needed dependencies.