version 0.2

Docker/Dockerfile

@@ -39,17 +39,3 @@ RUN opam install -y deriving.0.7 ocamlfind.1.5.5 parmap.1.0-rc6 batteries.2.3.1
 RUN git clone https://github.com/s3team/uroboros.git /root/uroboros
 WORKDIR "/root/uroboros/src"
 RUN eval $(opam env) && ./build
-
-# build spec cpu 2006
-# ENV SPECIMG=/data/SPEC_CPU2006v1.1.iso
-# ENV SRCDIR=/data/spec_src
-# ENV BINDIR=/data/spec_bin
-# ENV REBUILD_SPEC=
-
-# ADD ./tool/spec_cpu_on_ubuntu/script /script
-# ADD ./tool/spec_cpu_on_ubuntu/patch /patch
-# ADD ./tool/build_spec.sh /script/build_spec.sh
-# ADD ./tool/config.cfg /script/config.cfg
-
-# CMD /script/build_spec.sh && \
-#     bash

Docker/README.md

@@ -1,18 +1,18 @@
-# Docker for uroboros v 0.12
+# Docker for Uroboros version 0.2
 
 ## Docker build
 
 
 Then use `docker build` to build the docker image from Dockerfile.
 
 ```shell
-docker build -f Dockerfile -t ail:0.12 .
+docker build -f Dockerfile -t uroboros:0.2 .
 ```
 
 ## Docker usage
 
 run the Docker container with `docker run`.
 
 ```shell
-docker run -it ail:0.12
+docker run -it uroboros:0.2
 ```

README.md

@@ -1,4 +1,4 @@
-# Uroboros: Infrastructure for Reassembleable Disassembling and Transformation (v 0.12)
+# Uroboros: Infrastructure for Reassembleable Disassembling and Transformation (Version 0.2)
 
 # Installation
 

instruction_to_reproduce_experimenttal_results_reported_in_Wang_et_al._2015.md

@@ -1,4 +1,4 @@
-Please use Uroboros (version 0.12) for the tests below. 
+Please use Uroboros (version 0.2) for the tests below. 
 
 # Coreutils:
 

src/uroboros.py

@@ -209,7 +209,7 @@ def set_assumption (l):
 if __name__ == "__main__":
     p = ArgumentParser(formatter_class=RawTextHelpFormatter)
     p.add_argument("binary",
-                   help="path to the input binary, for example, /home/szw175/ls")
+                   help="path to the input binary")
     p.add_argument("-i", "--iteration", type=int,
                    help="the number of disassemble-(instrument)-reassemble iterations")
     p.add_argument("-k", "--keep", action="count",
@@ -220,7 +220,7 @@ def set_assumption (l):
 (n-byte alignment) are set by default,
 while assumption two and three need to be configured. For example, setting
 assumption two and three: -a 2 -a 3''')
-    p.add_argument('--version', action='version', version='Uroboros pre-release\n\nWritten by Shuai Wang (szw175@ist.psu.edu)')
+    p.add_argument('--version', action='version', version='Uroboros Version 0.2\n\nWritten by Shuai Wang ([email protected]), Jinquan Zhang (jxz372@psu.edu)')
 
     args = p.parse_args()
     b = args.binary