Work Project Report: Static Analysis Suite
Filip Bartek · CERN Document Server (European Organization for Nuclear Research) · 2013
This summer, I was working in PH-SFT group as a summer student. My assignment consisted of developing a software tool for static analysis of C++ code. The tool is called Static Analysis Suite. This document describes the project - the initial goal, the domain of interest, i.e. static program analysis, the work I performed and the tools I used, and the results.