最近瀏覽的軟件
TMS IntraWeb Component Pack Pro Script Edition (Delphi XE3 and C++Builder XE3) 27 Jan 15
PostgreSQL Paradox Import, Export & Convert Software 16 Apr 15
Apache XMLBeans 13 Apr 15
MS SQL Server Append Two Tables Software 1 Jan 15
Learn Java (GUI Applications) 28 Oct 15
Export Database to Text for SQL Server Standard 16 Apr 15
Database and XML Toolkit (DbTkXml) 30 Oct 15
KeepAutomation.com .NET Barcode Reader 26 Jan 15
EMS Data Export for SQL Server 26 Jan 15
MySQL Paradox Import, Export & Convert Software 9 Dec 14
Splint 3.1.1
夾板是靜態檢查C程序的安全漏洞和錯誤的編程工具。夾板做了很多傳統的皮棉檢查,包括未使用的聲明,類型不一致,使用定義之前,無法訪問的代碼,忽略返回值,執行路徑沒有返回,可能無限循環,並告吹的情況。更強大的檢查在源代碼中的註釋給出更多的信息成為可能。註釋是程式化的評論關於函數,變量,參數和類型文件的假設。除了由註解專門啟用支票,許多傳統的棉絨檢查都通過利用這個附加信息得到改善。隨著越來越多的精力投入註釋方案,更完善的檢查結果。使用夾板代表性的努力收益曲線如圖1所示。夾板的設計是靈活的,允許程序員選擇用於特定項目...
最近瀏覽的軟件
TMS IntraWeb Component Pack Pro Script Edition (Delphi XE3 and C++Builder XE3) 27 Jan 15
PostgreSQL Paradox Import, Export & Convert Software 16 Apr 15
Apache XMLBeans 13 Apr 15
MS SQL Server Append Two Tables Software 1 Jan 15
Learn Java (GUI Applications) 28 Oct 15
Export Database to Text for SQL Server Standard 16 Apr 15
Database and XML Toolkit (DbTkXml) 30 Oct 15
KeepAutomation.com .NET Barcode Reader 26 Jan 15
EMS Data Export for SQL Server 26 Jan 15
MySQL Paradox Import, Export & Convert Software 9 Dec 14