Statyczna analiza kodu, czyli jak komputer może szukać błędów

03.02.2010 - Krzysztof Skrzętnicki
TrudnośćTrudność

Co z tego wynika?

Statyczna analiza kodu może być realizowana przez wiele narzędzi. Podstawowymi są systemy kontroli typów zaimplementowane w językach. Często są one jednak niewystarczające. W przypadku języka C jednym z dostępnych narzędzi jest scan-build, element narzędzia Clang Static Analyzer, tworzonego przy okazji projektu kompilatora Clang.

Analizy wykonane przy użyciu tego narzędzia są proste w przeprowadzeniu i odczycie. Mogą jednak czasem wskazywać na błąd w miejscu, gdzie go nie ma. Mimo to bez trudu można przy jego użyciu znaleźć prawdziwe błędy.

4.666665
Twoja ocena: Brak Ocena: 4.7 (3 ocen)

Copyright © 2008-2010 Wrocławski Portal Informatyczny

design: rafalpolito.com