pass sunflow in latest repo
1.Using the correct models. 2. hard code config temporary for diff benchmarks.
script for running exp and reporting
Merge branch 'smash' into security

Conflicts:
	lib/chord.jar
	src/framework/scuba/analyses/alias/SummaryBasedAnalysis.java
	src/framework/scuba/helper/MemLocHelper.java
Merge branch 'security' of github.com:xwangsd/Scuba into security
working on debugging
cipa summary construction, passed regression but failed lots of mayAlias in regression