JavaMOP and RVMonitor Usage
You can obtain scala(2.9.1 is preferred) from:
Don't forget to set SCALA_HOME environment to the path where you install the scala.
You can either download AspectJ from the website:
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:
You can clone it from the github:
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.
You can run the script:
source $rv-monitor/bin/rvmonitor [options] <path-to-spec1> ... <path-to-specn>
Frequently used options are
-d $MONITOR_DIR -silent -n all -merge