最近瀏覽的軟件
-
Minecraft Theme for Windows 8 and Windows 10 28 Nov 17
-
Gigabyte GA-890XA-UD3 (rev. 1.0) Realtek LAN Driver for Windows 7 18 Mar 16
-
SysTools Docx Repair 22 Jan 15
-
Bineye 31 Dec 14
-
e2retrieve 2 Jun 15
-
Card Maker 1 Sep 16
-
AnalyticMath 23 Sep 15
-
Medi@mirror 25 Oct 15
-
Bingburn 21 Sep 15
-
MS SQL Server Export Table To XML File Software 9 Dec 14
Splint 3.1.1
夾板是靜態檢查C程序的安全漏洞和錯誤的編程工具。夾板做了很多傳統的皮棉檢查,包括未使用的聲明,類型不一致,使用定義之前,無法訪問的代碼,忽略返回值,執行路徑沒有返回,可能無限循環,並告吹的情況。更強大的檢查在源代碼中的註釋給出更多的信息成為可能。註釋是程式化的評論關於函數,變量,參數和類型文件的假設。除了由註解專門啟用支票,許多傳統的棉絨檢查都通過利用這個附加信息得到改善。隨著越來越多的精力投入註釋方案,更完善的檢查結果。使用夾板代表性的努力收益曲線如圖1所示。夾板的設計是靈活的,允許程序員選擇用於特定項目...
最近瀏覽的軟件
-
Minecraft Theme for Windows 8 and Windows 10 28 Nov 17
-
Gigabyte GA-890XA-UD3 (rev. 1.0) Realtek LAN Driver for Windows 7 18 Mar 16
-
SysTools Docx Repair 22 Jan 15
-
Bineye 31 Dec 14
-
e2retrieve 2 Jun 15
-
Card Maker 1 Sep 16
-
AnalyticMath 23 Sep 15
-
Medi@mirror 25 Oct 15
-
Bingburn 21 Sep 15
-
MS SQL Server Export Table To XML File Software 9 Dec 14