remove unnecessary annotations to calculate evalution numbers.
Changes: Inference engine works fine with the JavaNator benchmark. Found some problems in the original benchmark with the current version of location type checker + definitely written analysis. From the original benchmark, 1) removed static references 2) removed persistent states.
changes: now Inference engine works fine with the EyeTracking benchmark.
changes: 1) fixes problems in the original EyeTracking benchmark 2) fix a bug in the definitely written analysis. It didn't keep cleared shared location type set correctly in certain cases, Inference engine generated annotations again for the EyeTracking, but it has location type errors.
changes: generated annotated code but it still causes type errors + re-formatting of the benchmark for generating annotated version.
changes + add two more benchmarks without annotations
reformat benchmark source codes to meet the requirements of the annotation generation.
fixed another problem of the flow-down check. If an assignment statement has OP+EQ operator(eg,+=,*=), calculate GLB of LHS & RHS and then assign it as the location type of RHS. + annotation fixes according to fix.
add PCLOC annotations. all three benchmarks are type-checked now.
add source code that does not have location annotations.
keep a copy of my current dissertation example to investiaget further and another one to just fix and use
run-doj-validation-test.sh: a single script that performs validation tests for all DOJ benchmarks.