Avsnitt

Analysera kod med slutsatsdragning#

Visual Studio Toolbox

Vill du identifiera tillförlitlighets- och säkerhetsbuggar innan de skickas? Matthew Jin och Xiaoyu Liu visar Infer#, ett statiskt analysverktyg som du kan använda för att verifiera källkodens korrekthet utan att behöva köra den. 

Läs mer om Infer# här.