Practical Research Projects - Project Description
Project Description
This is a description of a Practical Research Project associated with the PREP course
Project Title
Static Analysis of JWIG web application consistency
Quarter
Q1 2010
Responsible
Second level advisor: Anders Møller.
Aims
This research project will be a part of the analysis suite for the web application framework JWIG developed at Brics. JWIG is a general-purpose web application framework emphasizing security and simplicity. The framework makes heavy use of reflection for implementing and configuring runtime behavior. It builds upon the idea that the logical flow of a session in the web application should be visible in the code implementing the behavior of the session. Output is created as XML using the Xact framework.
The goal of the project is to implement static analyses for assuring consistency of sessions meaning that available form elements match the input expected, that links in the generated pages point to valid URLs etc. The analyses should be applied to the CourseAdmin system to verify correct behavior of this system and to test the analyses in terms of running time, memory usage and precision.
Learning Outcome
- The student gains insight in designing and implementing a static analysis for a web application framework.
- The student will apply techniques acquired in courses such as Static Analysis and Advanced Web Technology and gain practical experience about the feasibility of the techniques in a realistic setting.
Requirements
dWebTek, AWT (recommended), Static Analysis