Automated Formal Static Analysis and Retrieval of Source Code - JKU

Next section starts by describing the underlaying system (Mindbreeze Enterprise Search (MES))
into which the code search facility will be integrated; it is an information retrieval system based
on a client-server technology, whose loosely coupled architecture allows the integration of custom
components. Thus, the integration of a new component, for making possible the search within the
data source representing source code files, can be done easily: a source code crawler has to be
developed (Section 3.3.2), the data source representing the crawled data has to be deployed on the
server (Section 3.3.4) and the context interface has to be enhanced with context actions specific
for the new integrated data source (Section 3.3.3).
User interface and use cases illustrating the retrieval process from simple text search to datadrilling
operations and also the re-query by context actions operation are presented in Section
3.3.5.
In the last chapter (Chapter 4) we conclude by emphasizing what was achieved in this thesis
and by presenting some ideas for further work, both from program analysis and retrieval points of
view.
5