Odcinek

Analizowanie kodu za pomocą wnioskowania#

Przybornik programu Visual Studio

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

Dowiedz się więcej na temat wnioskowania tutaj.