JavaMOP and RVMonitor Usage

From FSL
Revision as of 04:02, 18 December 2013 by Yzhng173 (Talk | contribs)

Jump to: navigation, search

Contents

Prerequisite

Scala

You can obtain scala(2.9.1 is preferred) from:

 http://www.scala-lang.org/

Don't forget to set SCALA_HOME environment to the path where you install the scala.

AspectJ

You can either download AspectJ from the website:

 http://eclipse.org/aspectj/

Or git clone a modified AspectJ which is able to weave DaCapo 9.12 with 179 specifications:

 git clone -b javamop ssh://[your-id]@fslwork.cs.illinois.edu/home/clee83/repository/aspectj

For detailed information, please refer to:

 http://fsl.cs.illinois.edu/index.php/JavaMOPAgent

RV Monitor

Installation

You can clone it from the github:

 https://github.com/runtimeverification/rv-monitor

Use "ant" to build it. After compilation, you will see several .jar files generated under $rv-monitor/lib. Among them:

  • rvmonitor.jar: rvmonitor which is used to generate library code with .rvm file.
  • rt.jar: runtime library used by generated library code. This jar file contains all the important data structures like AbstactMonitor, AbstractMonitorSet, Indexing Tree and so on.
Personal tools
Namespaces

Variants
Actions
Navigation