Daily Log
5/21/2015
- Met with Dr. Lu. Discussed material related to things we need to know about our project. Was given Introductory material to read over for the next couple of days.
26/5/2015
- Met with Dr. Lu to gain more knowledge on the JSAI Analyzer. Discussed readings that we were given and created a timeline for goals to accomplish for the 10 week program.
- Continued Reading literature on JSAI and was given instruction on how it is to be used. From here, we will explore the Analyzer to see how it currently works and also start thinking of way to make string output more precise.
- Today we were given a better understanding of the objective of the project and given a better direction of where to go from here.
5/27/2015
- wewwweee
- Today we gained access to the Virtual desktop to be able to run the JSAI Analyzer. We began experimenting with commands on the already written programs using JSAI interpreter. We found a paper online from the people who created the analyzer and hopefully this is going to help a lot being that a huge part of our project is to modify the existing string JSAI analyzer. Yves is still waiting on his G number in order to gain access the virtual server that has JSAI analyzer.
5/28/2015
- We are still in the literature survey phase. Today I,Yves, spent the morning reading through two papers, Static Analysis of String Values and Lecture Notes on Static Analysis, while reading I mainly focused on the syntax and semantics of abstract and concrete domains. I understood the idea of making concrete domain precise through abstraction, but the terms and symbols used in the papers are new to me, I had hard time following how things were done. Probably going to look over these paper again tomorrow and read about lattice theory and the idea of abstraction. I spent my afternoon on codecademy refreshing on javascript string operations and I was able to write my first helloworld program in scala after successfully installing eclipse on my computer and following tutorials on http://scala4beginner.blogspot.de/2012/05/scala-operators.html which wasn't easy to find.
5/29/2015
- I, Yves, this morning I read two papers. JSAI: A Static Analysis Platform for Java Script and schemed Static Program Analysis for Verification: Introduction. The JSAI paper gives a big picture of what the difference is between JSAI analyzer and other analyzers used and how it is implemented. JSAI analyzer uses novel abstract domains to compute a reduced product of type inference, pointer analysis, control-flow analysis, string analysis, and integer and boolean constant propagation. In the afternoon I started the powerpoint for Monday's presentation, met Dr. Lu to discuss the project, and read through JSAI's scala source code that deals with domain of string properties, the part we are going to modify/implement .
06/02/2015
Today we presented our progress in our weekly meeting. Afterwards we went back to work trying to understand the JSAI Interpreter. Serena went to study and try to figure out how the Analyzer works and went into different source codes to try to see how each code worked and Yves went to start looking for FA software. For the rest of the week we will both be familiarizing ourselves wit Scala programming so that we can begin to modify the analyzer when it is time to design our domains. This will continue for the rest of the week.
On Thursday 6/04/15 we met with Dr. Lu to get more direction on where to begin our design phase. We were told to being studying how the current string domains are implemented and to begin thinking of ways we can modify them to make them more precise. We have had quite a road block with the interpreter as it is currently not displaying any output that we can get information from. Dr. Lu is aware of this and has told his previous PhD student about it and hopefully it will be fixed so that we can begin to experiment with it.
On Thursday 6/04/15 we met with Dr. Lu to get more direction on where to begin our design phase. We were told to being studying how the current string domains are implemented and to begin thinking of ways we can modify them to make them more precise. We have had quite a road block with the interpreter as it is currently not displaying any output that we can get information from. Dr. Lu is aware of this and has told his previous PhD student about it and hopefully it will be fixed so that we can begin to experiment with it.