The project produced a prototype of a static-analysis service, with analysis results available for inspection over a code browser. The prototype developed aims to enable deeper program comprehension, more quickly, by describing how values flow through the code, which program elements are reachable, and more. This is a tool that can help professional programmers optimize code or detect bugs.
The prototype is being explored for commercialization, in cooperation with the University of Athens entrepreneurship center/accelerator.
