Commit 309d5ec0 authored by Aibek Sarimbekov's avatar Aibek Sarimbekov
Browse files

updated the scripts for running fieldsImmutabilityAnalysis (fia)

parent f5d3ede8
<project name="disl-test" default="compile" basedir=".">
<property file="../disl.version"/>
<property file="../build.properties"/>
<property file="../../disl.version"/>
<property file="../../build.properties"/>
<property file="build.properties"/>
<property name="disl.jar.path" value="../build/disl-${disl.version}.jar"/>
<property name="disl.jar.path" value="../../build/disl-${disl.version}.jar"/>
<path id="buildpath">
<pathelement location="${disl.jar.path}"/>
<pathelement location="../${asm.path}"/>
<pathelement location="../${jborat.path}"/>
<pathelement location="../${jborat-runtime.path}"/>
<pathelement location="../../${asm.path}"/>
<pathelement location="../../${jborat.path}"/>
<pathelement location="../../${jborat-runtime.path}"/>
<pathelement location="lib/stp.jar"/>
</path>
......@@ -56,7 +56,7 @@
basedir="./bin"
includes="${test.path}/runtime/**">
</jar>
<jar jarfile="../build/${instr.jar.name}"
<jar jarfile="../../build/${instr.jar.name}"
basedir="./bin"
includes="${test.path}/*"
excludes="${test.path}/runtime ${test.path}/TargetClass*.class ${test.path}/MANIFEST.MF"
......
# This is a sample configuration with relative paths
# you can use full path using file:/// format
../lib/asm-debug-all-4.0.jar
../../lib/asm-debug-all-4.0.jar
lib/remote-jborat.jar
../lib/jborat.jar
../../lib/jborat.jar
# This is a sample configuration with relative paths
# you can use full path using file:/// format
../lib/asm-debug-all-4.0.jar
../build/disl-unspec.jar
../build/dislinstr.jar
../../lib/asm-debug-all-4.0.jar
../../build/disl-unspec.jar
../../build/dislinstr.jar
......@@ -7,7 +7,7 @@ ARCH="unspec"
if [ "${ARCH_RAW}" = "i686" -o "${ARCH_RAW}" = "x86_32" ]; then
ARCH="x32"
elif [ "${ARCH_RAW}" = "i386" ]; then
elif [ "${ARCH_RAW}" = "x86_64" ]; then
ARCH="x64"
else
echo "Unknow architecture...."
......@@ -30,7 +30,7 @@ JBORAT_AGENT_OPTS="1234,localhost,ipc.socket"
java -noverify -XX:MaxPermSize=128m \
-Xmx2G \
-javaagent:lib/agent.jar \
-Xbootclasspath/p:lib/remote-runtime.jar:../lib/jborat-runtime.jar:build/test-runtime.jar \
-Xbootclasspath/p:lib/remote-runtime.jar:../../lib/jborat-runtime.jar:build/test-runtime.jar \
-agentpath:lib/${JBORAT_AGENT}=${JBORAT_AGENT_OPTS} \
-cp ./bin \
$*
......@@ -4,9 +4,9 @@ OS=`uname`
ARCH_RAW=`uname -m`
ARCH="unspec"
if [ "${ARCH_RAW}" = "i686" -o "${ARCH_RAW}" = "x86_32" ]; then
if [ "${ARCH_RAW}" = "i686" -o "${ARCH_RAW}" = "x86_32"]; then
ARCH="x32"
elif [ "${ARCH_RAW}" = "i386" ]; then
elif [ "${ARCH_RAW}" = "x86_64" ]; then
ARCH="x64"
else
echo "Unknow architecture.."
......@@ -22,7 +22,7 @@ else
exit -1
fi
CLASSPATH=../lib/jborat-agent.jar:../lib/jborat-runtime.jar:../lib/jborat-interface.jar:lib/remote-server.jar
CLASSPATH=../../lib/jborat-agent.jar:../../lib/jborat-runtime.jar:../../lib/jborat-interface.jar:lib/remote-server.jar
java -Dch.usi.dag.jborat.instrumented="instrumented" \
-Djborat.debug \
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment