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).
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:
When prompted to install additional dependencies, accept that option. Finally, restart MPS and re-open this project to be ready to use it!
The project is known to work on MPS version 2021.2.* when installing mentioned dependencies from the plugin marketplace.
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.