Epizoda

Analýza kódu pomocí odvození #

Chcete před odesláním zjistit spolehlivost a chyby zabezpečení?  Matthew Jinand  Xiaoyu Liu show Infer#, nástroj pro statickou analýzu, který můžete použít k ověření správnosti zdrojového kódu bez nutnosti jeho spuštění. 

Další informace o odvození# najdete tady