MoniTests

This project aims to apply JavaMop, a Java implementation of Monitoring-Oriented Programming, to verify the correct usage of cryptographic libraries

Status

• Cipher
• HMACParameterSpec
• Mac
• MessageDigest
• KeyGenerator
• KeyManagerFactory
• KeyStore
• KeyPair
• KeyPairGenerator
• SecretKey
• SecretKeySpec
• SecureRandom
• Signature
• SSLContext
• TrustManagerFactory

Configuration

• Install AspectJ locally

$ 

• create a directory to hold the projects

$ mkdir projects
$ cd projects

• clone and build the rv-monitor and java-mop projects

$ git clone https://github.com/runtimeverification/rv-monitor.git
$ cd rv-monitor
$ mvn clean package install
$ export PATH=$PATH:./target/release/rv-monitor/bin
$ cd ..

$ git clone https://github.com/runtimeverification/javamop.git
$ cd javamop
$ mvn clean package install
$ cd ..

• clone the maven plugin and build it

$ git clone https://github.com/PAMunb/mop-maven-plugin.git
$ cd mop-maven-plugin
$ mvn compile package install

• setup the classpath

$ source ./config.sh		  

• clone the repository and execute the test cases

$ mvn test