Abstract [eng] |
This master‘s degree work consists of three main parts: static analysis methods review, DisksDB system requirement specification and summary of results of static code analysis. In the first part, introducing to principles of main static analysis methods, static analysis tool FxCop and writing of its rule . In second part, introducing to analyzed system requirement specification. Also systems main source code data, that was used on static code analysis. In third part, analysing static analysis tool FxCop output. For more clarity, they were analysed in several ways. All part results were put in conclusions. |