Write a Blog >>
Sun 20 - Fri 25 October 2019 Athens, Greece
Mon 21 Oct 2019 14:45 - 15:25 at Abbey - Session 3

Static analysis is the analysis of a program through inspection of the source code, usually carried out by an automated tool. One of the greatest challenges posed by real-world applications is that the whole program is rarely available at any point of the analysis process. One possible reason for this is separate compilation, where the source code of some libraries might not be accessible in order to protect intellectual property. But even if we have a complete view of the source code including the underlying operating system, we might still have trouble fitting the representation of the entire software into memory. Thus, industrial tools need to deal with uncertainty due to the lack of information.

In my dissertation I discuss and compare the state-of-the-art methods to deal with this uncertainty and to retain information that would otherwise be unavailable. I also suggest improvements for specific use cases, and propose guidelines on which methods to choose to solve certain problems.

Mon 21 Oct
Times are displayed in time zone: Beirut change

14:00 - 15:30: Session 3Doctoral Symposium at Abbey
14:00 - 14:40
Practical Second Futamura Projection
Doctoral Symposium
Florian LatifiJohannes Kepler University Linz
DOI Pre-print
14:45 - 15:25
Retaining Semantic Information in the Static Analysis of Real-World Software
Doctoral Symposium
Gábor HorváthEötvös Loránd University
DOI Pre-print