-
Notifications
You must be signed in to change notification settings - Fork 0
dkrikun/eraser
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
Dependencies: ================ boost-1.46.1 , in particular: header-only: xpressive utility optional operator msm bind function shared_ptr library: program_options java-6-sun-1.6.0.21 (JDK) gmock-1.6.0 (for unit-testing only) g++ (Ubuntu/Linaro 4.4.4-14ubuntu5) 4.4.5 Ubuntu 10.10 Building: ================ You have 2 ways to do it: either with Boost.Bjam or CMake. With Boost.Bjam you have Jamroot in the project root directory. Edit it (pay attention, some of the build file lines are dedicated solely to unit-testing so you may remove them in case any problem arises with test building), then run 'bjam' to build the library and the unit tests. With CMake again edit the CMakeLists.txt to suit your system, then run 'cmake -G "Unix Makefiles" && make'. Use 'make VERBOSE=1' in case you need more diagnostics for the build process. Then, if you need to rebuild the Proxy class (e.g. if you'd modified it), run 'javac src/eraser/Proxy.java -d bin'. Input files are in the 'inputs' subdirectory. Running the agent (example): java -agentpath:./bin/liberaser.so=--log-level=100 -Xbootclasspath/a:./bin -cp inputs/inc Inc 0 Explanation: -agentpath:./bin/liberaser.so - path to the agent SO library =--log-level=100 - argument log-level to the agent itself (explained below) -Xbootclasspath/a:./bin - where to look for Proxy.class -cp inputs/inc Inc - classpath & class of the input 0 - argument to the input class The agent accepts few options defined in 'src/eraser/main.cpp:159' and later on. Following options are available: --log-level - used to filter debug messages, greater values mean less debug messages, use some 200000 to hide all debug messages. --obj-filter & --thread-filter - these are regexes that allow to filter out classes that you do not want to be instrumented (or have there fields monitored with read/write watches respectively). Syntax may be borthersome, because you might need to escape certain characters. Boost.Xpressive is used to parse the regexes, in case you're already familiar with it. The agent options all have default values, and in case you have ERASER_DEBUG defined, the defaults are defined to suit the 'inc' input sample. Attached are some scripts ('run','runmany' & 'runex1') that we have used throughout the development process to rebuild the library, input java class files and run jvm with approriate parameters. You'll probably would like to edit these scripts and use them. 'run' rebuilds the agent library and input files if required and then runs the agent on 'inc' sample classes. The script takes 2 parameters: scenario to chose (see inputs/inc/Inc.java) and the log-level as described above, for example './run 1 100'. Other scripts are similar, used for convenience to debug.
About
Academic project in program analysis
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published