java-callgraph

diff --git a/README.md b/README.md
index d51372b..134de1d 100644
--- a/README.md
+++ b/README.md
@@ -37,15 +37,41 @@ Instructions for running the callgraph generators
 java -jar javacg-0.1-SNAPSHOT-static.jar lib1.jar lib2.jar...
 </code>
 
+`javacg-static` produces combined output in the following format:
+
+###### For methods
+
+<code>
+  M:class1:<method1> (typeofcall)class2:<method2>
+</code>
+
+The line means that `method1` of `class1` called `method2` of `class2`.
+The type of call can have one of the following values (refer to
+the [JVM specification](http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.doc6.html) 
+for the meaning of the calls): 
+
+ * `M` for `invokevirtual` calls
+ * `I` for `invokeinterface` calls
+ * `O` for `invokespecial` calls
+ * `S` for `invokestatic` calls
+
+###### For classes
+
+<code>
+  C:class1 class2
+</code>
+
+This means that some method(s) in `class1` called some method(s) in `class2`.
+
 ##### Dynamic
 
 `javacg-dynamic` uses 
 [javassist](http://www.csg.is.titech.ac.jp/~chiba/javassist/) to insert probes
 at method entry and exit points. To be able to analyze a class `javassist` must
-resolve all dependent classes at instrumentation time.  To do so, it reads
+resolve all dependent classes at instrumentation time. To do so, it reads
 classes from the JVM's boot classloader. By default, the JVM sets the boot
 classpath to use Java's default classpath implementation (`rt.jar` on
-Win/Linux, `classes.jar` on the Mac).  The boot classpath can be extended using
+Win/Linux, `classes.jar` on the Mac). The boot classpath can be extended using
 the `-Xbootclasspath` option, which works the same as the traditional
 `-classpath` option. It is advisable for `javacg-dynamic` to work as expected,
 to set the boot classpath to the same, or an appropriate subset, entries as the
@@ -54,7 +80,7 @@ normal application classpath.
 Moreover, since instrumenting all methods will produce huge callgraphs which
 are not necessarily helpful (e.g. it will include Java's default classpath
 entries), `javacg-dynamic` includes support for restricting the set of classes
-to be implemented through include and exclude statements. The options are
+to be instrumented through include and exclude statements. The options are
 appended to the `-javaagent` argument and has the following format
 
 <code>-javaagent:javacg-dycg-agent.jar="incl=mylib.*,mylib2.*,java.nio.*;excl=java.nio.charset.*"</code>
@@ -62,13 +88,33 @@ appended to the `-javaagent` argument and has the following format
 The example above will instrument all classes under the the `mylib`, `mylib2` and
 `java.nio` namespaces, except those that fall under the `java.nio.charset` namespace.
 
-<code>
+```
 java
 -Xbootclasspath:/System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Classes/classes.jar:mylib.jar
 -javaagent:javacg-0.1-SNAPSHOT-dycg-agent.jar="incl=mylib.*;"
 -classpath mylib.jar mylib.Mainclass 
-</code>
+```
+
+`javacg-dynamic` produces two kinds of output. On the standard output, it
+writes method call pairs as shown below:
 
+```
+class1:method1 class2:method2 numcalls
+```
+
+It also produces a file named `calltrace.txt` in which it writes the entry
+and exit timestamps for methods, thereby turning `javacg-dynamic` into
+a poor man's profiler. The format is the following:
+
+```
+<>[stack_depth][thread_id]fqdn.class:method=timestamp_nanos
+```
+
+The output line starts with a `<` or `>` depending on whether it is a method
+entry or exit. It then writes the stack depth, thread id and the class and
+method name, followed by a timestamp. The provided `process_trace.rb` 
+script processes the callgraph output to generate total time per method
+information. 
 
 #### Examples
 
@@ -81,12 +127,13 @@ in the `jar` directory.
 
 Running the batik Dacapo benchmark:
 
-<code>
+```
 java -Xbootclasspath:/System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Classes/classes.jar:jar/batik-all.jar:jar/xml-apis-ext.jar -javaagent:target/javacg-0.1-SNAPSHOT-dycg-agent.jar="incl=org.apache.batik.*,org.w3c.*;" -jar dacapo-9.12-bach.jar batik -s small |tail -n 10
-</code>
-<br/><br/>
-<code>
-[...]<br/>
+```
+<br/>
+
+```
+[...]
 org.apache.batik.dom.AbstractParentNode:appendChild org.apache.batik.dom.AbstractParentNode:fireDOMNodeInsertedEvent 6270<br/>
 org.apache.batik.dom.AbstractParentNode:fireDOMNodeInsertedEvent org.apache.batik.dom.AbstractDocument:getEventsEnabled 6280<br/>
 org.apache.batik.dom.AbstractParentNode:checkAndRemove org.apache.batik.dom.AbstractNode:getOwnerDocument 6280<br/>
@@ -95,16 +142,17 @@ org.apache.batik.dom.util.DoublyIndexedTable:put org.apache.batik.dom.util.Doubl
 org.apache.batik.dom.AbstractElement:invalidateElementsByTagName org.apache.batik.dom.AbstractElement:getNodeType 7198<br/>
 org.apache.batik.dom.AbstractElement:invalidateElementsByTagName org.apache.batik.dom.AbstractDocument:getElementsByTagName 14396<br/>
 org.apache.batik.dom.AbstractElement:invalidateElementsByTagName org.apache.batik.dom.AbstractDocument:getElementsByTagNameNS 28792<br/>
-</code>
+```
 
 Running the lucene Dacapo benchmark:
 
-<code>
+```
 java -Xbootclasspath:/System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Classes/classes.jar:jar/lucene-core-2.4.jar:jar/luindex.jar -javaagent:target/javacg-0.1-SNAPSHOT-dycg-agent.jar="incl=org.apache.lucene.*;" -jar dacapo-9.12-bach.jar luindex -s small |tail -n 10
-</code>
+```
 <br/><br/>
-<code>
-[...]<br/>
+
+```
+[...]
 org.apache.lucene.analysis.Token:setTermBuffer org.apache.lucene.analysis.Token:growTermBuffer 43449<br/>
 org.apache.lucene.analysis.CharArraySet:getSlot org.apache.lucene.analysis.CharArraySet:getHashCode 43472<br/>
 org.apache.lucene.analysis.CharArraySet:getSlot org.apache.lucene.analysis.CharArraySet:equals 46107<br/>
@@ -115,8 +163,7 @@ org.apache.lucene.store.IndexOutput:writeVInt org.apache.lucene.store.BufferedIn
 org.apache.lucene.index.TermsHashPerField:quickSort org.apache.lucene.index.TermsHashPerField:comparePostings 107343<br/>
 org.apache.lucene.analysis.Token:termBuffer org.apache.lucene.analysis.Token:initTermBuffer 162115<br/>
 org.apache.lucene.analysis.Token:termLength org.apache.lucene.analysis.Token:initTermBuffer 205554<br/>
-
-</code>
+```
 
 #### Known Restrictions
 
@@ -124,6 +171,8 @@ org.apache.lucene.analysis.Token:termLength org.apache.lucene.analysis.Token:ini
   reflection.
 * The dynamic call graph generator will not work reliably (or at all) for 
   multithreaded programs
+* The dynamic call graph generator does not handle exceptions very well, so some
+methods might appear as having never returned
 
 #### Author