Odcinek

Analizowanie kodu przy użyciu wnioskowania #

Chcesz wykryć błędy dotyczące niezawodności i zabezpieczeń przed ich wysłaniem?  Matthew Jinand  Xiaoyu Liu pokazuje infer#, narzędzie do analizy statycznej, którego można użyć do weryfikacji poprawności kodu źródłowego bez konieczności jego wykonywania. 

Dowiedz się więcej na temat wnioskowania tutaj