-
W-10
July/25/2016 - July/29/2016
Prepare for poster presentations and finish final report (paper).
-
W-9
July/18/2016 - July/22/2016
Finish the debugging process, prepare poster and work on paper.
-
W-8
July/11/2016 - July/15/2016
Test the tool to validate the soundness of our analysis on strings.
-
W-7
July/4/2016 - July/8/2016
Work on the widening operator.
-
W-6
June/27/2016 - July/1/2016
Work on the widening operator.
-
W-5
June/20/2016 - June/24/2016
Implement changes to TAJS.
-
W-4
June/13/2016 - June/17/2016
Implement changes to TAJS.
-
W-3
June/6/2016 - June/10/2016
Study TAJS source code and widening operators.
-
W-2
May/30/2016 - June/3/2016
Read about static analysis of string values.
-
W-1
May/23/2016 - May/27/2016
Introduction to the program.
Project assignment.
Read about static analysis, string analysis and install TAJS.