Analysis of information systems
Scientific Disciplinary Sector (SSD)
ING-INF/05 - INFORMATION PROCESSING SYSTEMS
I semestre dal Oct 1, 2015 al Jan 29, 2016.
The goal is to reach a deep comprehension and development ability in program analysis (both static and dynamic) for the soundness verification with respect to specification, for inatnce functional and concerning security policies.
Formal basis: Lattice theory, fix-point theory, abstract interpretation, models and semantcs of programs.
Static analysis: CFG-based analyses and monotone framework, distributive Data-flow analyses, numerical analyses and alias analysis, inter-procedural analysis, SSA.
Slicing: Formal framework, Weiser's algorithm, HPR algorithm, forward vs backward slicing.
Dynamic analysis: Overview on debugging, profiling and testing, disassembly, decompiling; Emulation and virtualization, Testing, Monitoring.
Written exam with oral or cooperative project in SPY-Lab on code analysis.