Aflevering

Code analyseren met afleiden#

Wilt u betrouwbaarheids- en beveiligingsfouten detecteren voordat ze worden verzonden? Matthew Jin en Resourceyu Liu tonen Infer#, een statische analysetool die u kunt gebruiken om de juistheid van de broncode te valideren zonder dat u deze hoeft uit te voeren.

Meer informatie over Infer# vindt u hier.

Wilt u betrouwbaarheids- en beveiligingsfouten detecteren voordat ze worden verzonden? Matthew Jin en Resourceyu Liu tonen Infer#, een statische analysetool die u kunt gebruiken om de juistheid van de broncode te valideren zonder dat u deze hoeft uit te voeren.

Meer informatie over Infer# vindt u hier.

Wilt u feedback geven? Dien hier een probleem in.