Fixed a number of typos pointed by the reviewers.
removed unoptimized record-replay, added two more dynamic analyses, and some issues detected during dynamic analyses.
most comments are addressed.
11 pages with necessary changes
tool paper updated
Fixed small typos
Minor typos fixed
camera ready for the main paper
camera ready for the tool paper
final camera ready for FSE 13
added few more tests for multisym
new branch for paper submission
more test programs
fse final papers
fixed paths in browserReplay