Player，因此從90年代末開始，用靜態程式分析進行安全測試的作法也開始普及。 靜態應用程式安全測試的作法和動態應用程式安全測試（DAST）的黑盒測試工具不同，DAST是針對應用程式的功能，而SAST是白盒測試，著重在應用程式的程式碼本身。 SAST工具會掃描應用程式以及其元件的程式碼，確認其軟體及架構中是否有安全漏洞。 靜態分析工具約可偵測到50%程式的安全漏洞。...

互動式應用程式安全測試（Interactive application security testing），縮寫為IAST，是利用程式的互動，觀察程式以及加入探針模組來偵測軟體漏洞的安全測試方式。有幾個應用軟體安全公司都有提供這類的工具。其他安全測試方式有不會和應用程式...

analysis)） 形式语义学 形式验证 软件测试 文件產生器（英语：Documentation generator） 靜態程序分析工具列表（英语：List of tools for static code analysis） 靜態應用程式安全測試 Industrial Perspective on...

程式碼。 自動化工具。許多安全工具可以透過被包含在開發或測試環境中來實現自動化測試。其中的範例是被整合到程式碼編輯器或 CI/CD 平台中的自動化 DAST/SAST （動態應用程式安全測試/靜態應用程式安全測試）工具。 協作的漏洞平台。透過由許多網站和軟體開發人員設立的應用程式安全...

安全評估、滲透測試及安全稽核）的產出。 容器及基础设施安全分析 SAST（靜態應用程式安全測試，Static application security testing） DAST（動態應用程式安全測試，Dynamic application security testing） IAST（互動式應用程式安全測試，Interactive...

Storage均可為Firebase應用程序提供安全的文件上傳和下載，以用於存儲圖像、音頻、視頻或其他用戶生成的內容。 它由Google Cloud Storage提供技術支援。 Firebase Hosting是一项靜態與動態的Web托管服务 ，於2014年5月13日啟動。它支持託管靜態...

靜態型別檢查是在編譯器所進行語義分析中進行的。如果一個語言強制實行型別規則（即通常只允許以不遺失資訊為前提的自動型別轉換）就稱此處理為強型別，反之稱為弱型別。 如果一個程式語言的型別檢查，可在不測試執行時期運算式的等價性的情況下進行，該語言即為靜態型別的。一個靜態型別的程式...

應用程式中，廣泛使用這個協定。許多網站，如Google、Facebook、Wikipedia等也以這個協定來建立安全連線，傳送資料。目前已成为互联网上保密通信的工业标准。 SSL包含记录层（Record Layer）和传输层，记录层协议确定传输层数据的封装格式。傳輸層安全協議使用X...

使用手動記憶體管理的程式語言，一般無法在執行時確保記憶體安全性。需要透過靜態程序分析、自動化定理證明，或是程式開發者在程式執行時的小心管理，才能確保記憶體安全性。像Rust程式語言就用借用檢查器（borrow checker）來確保記憶體安全性，而C語言或C++語言則不保證記憶體安全性。用C語言和C++語言撰寫的軟體很多，因此...

而且系統可以因為負面事件而進步。反脆弱類似Stefan Morcov所提出專案複雜度中的積極複雜性（positive complexity）。 應用程式安全 完全公開（英语：Full disclosure (computer security)） 長期支援 IT風險（英语：IT risk） 风险管理...

机器学习可以應用於静态二进制分析及动态行為分析，實現內容與行為相結合的檢測模式。随着深度学习迅速發展，各大防毒軟件廠商也開始使用深度學習技術來提升病毒辨識的準確度與效率。 EICAR防毒測試檔案是歐洲反電腦病毒協會（EICAR）和電腦安全公司共同推出的測試檔案，用於測試病毒掃描引擎。檔案不會危害電腦安全，而其特徵碼已被各家防毒軟件收錄。...

代碼覆蓋（英語：Code coverage）是軟體測試中的一種度量，描述程式中源代碼被測試的比例和程度，所得比例稱為代碼覆蓋率。 代碼覆蓋是由系統化軟體測試所衍生的方式。第一份出版的相關參考資料是Miller及Maloney1963年在ACM通讯上發表的論文 。 代碼覆蓋是飛行設備進行安全...

ALM），是由Micro Focus 開發和銷售的一組用於應用程式開發和測試軟體的工具。它整合了數個不同功能的工具：需求管理、測試規畫、功能性測試、效能測試（使用 HP Performance Center）、開發管理（透過整合廣泛應用的開發環境如：Collabnet、TeamForge和Microsoft...

Qt（/ˈkjuːt/，發音同「cute」）是一个跨平台的C++應用程式開發框架。廣泛用於開發GUI程式，這種情況下又被称为部件工具箱。也可用於開發非GUI程式，例如控制台工具和伺服器。Qt被用於OPIE、Skype、VLC media player、Adobe Photoshop...

應用程式的部署和维持，並且發展出許多語法糖。 Laravel與Symfony、Zend、CodeIgniter、Yii2 和其他框架一起被視為最受歡迎的 PHP 框架之一。 Laravel 1 Laravel在2011年6月9日發佈了第一個 Beta測試版本，並在一個月後發布正式版本...

代碼分析工具的使用可以協助原始碼審查。尤其是一些整合在整合開發環境（IDE）下的工具，可以直接提供程式開發者有關編程標準相容的回饋。 軟件審查（英语：Software review） 軟件檢查 偵錯 軟體測試 靜態程序分析 性能分析 自動程式碼審查 代码审查工具列表 Kolawa, Adam; Huizinga, Dorota...

程式編碼、單元測試和驗收測試。在迭代結束時，將工作產品向利益相關者展示。透過上述方式讓整體風險降至最低，並使產品能夠快速適應變化。迭代的方式，可能不會一次增加足夠的功能來保證可立即發佈使用，但是目標是在每次迭代結束時，有一個可用的發行版（最小化程式缺點）。因此完整產品的發佈或新功能可能需要多次迭代。...

應用程式語言的不同。內聯組譯器讓程式員輸入機器特定的組合語言碼，如同標準D代碼—通常由系統程式員使用的技術，以存取處理器的低階功能，直接以硬體下的界面執行程式，如作業系統以及驅動程式。 D內建支援文件註解，不過目前為止，只有Digital Mars實作版本有提供文件產生器。 D支援五種主要的程式...

此可知AOT影像檔並非可以完全獨立執行的。 完全靜態編譯：這個模式只支援少數平台，它基於AOT編譯模式上，更進一步產生所有的trampoline、wrappers以及proxies，這幾樣東西是用於靜態連結出靜態檔案時所需。完全靜態編譯模式可以讓程式的執行期完全不需要用到JIT，這個做法適用於Apple...

Photo中擷取靜態影像； iBooks現在支援Apple Pencil，可畫重點並儲存喜愛的段落以便之後觀看；支援播放以Dolby Digital Plus音訊串流編碼的影片等。此外，此更新還修補了一些漏洞。 iOS 9.3.1於2016年3月31日發布。此更新修正了在Safari及其他應用程式中點選超連結時，應用程式變得無法回應的問題。...

像隻大象。當elePHPant被製作成毛絨玩具時，有時顏色會有不同。 PHP是一個應用範圍很廣的語言，特別是在網路程式開發方面。一般來說PHP大多在伺服器端執行，透過執行PHP的程式碼來產生網頁提供瀏覽器讀取，此外也可以用來開發命令列腳本程式和使用者端的GUI應用程式。PHP可以在許多的不同種的伺服器、作業系統、平台上執行...

网景在1994年创建了HTTPS，并应用在网景导航者浏览器中。 最初，HTTPS是与SSL一起使用的；在SSL逐渐演变到TLS时，HTTPS也由在2000年五月公布的RFC 2818正式确定下来。 S-HTTP Bullrun (解密程式)（英语：Bullrun (decryption program)） 计算机安全 TLS...

在網路發展的這些年，網頁只能是靜態的，缺乏在瀏覽器中載入網頁後的動態行為能力。公司的創始人馬克·安德森認為HTML需要一種膠水語言，讓網頁設計師和兼職程式設計師可以很容易地使用它來組裝圖片和外掛程式之類的元件，且程式碼可以直接編寫在網頁標記中。1995年，網景招募了布兰登...

310，JEP 150：日期和時間 API，基于Joda-Time日期时间处理库的实现。 JEP 178：靜態連結 JNI 程式庫 JEP 153：执行 JavaFX 應用程式（直接执行 JavaFX 的應用程式的 JAR 包） JEP 122：移除了虚拟机内存管理中的永久世代 Java 8 不再支援Windows...

01和XHTML 1.0標準，以期能在網際網路應用迅速發展的時候，使網路標準達到符合當代的網路需求。廣義論及HTML5時，實際指的是包括HTML、CSS和JavaScript在內的一套技術組合。它希望能夠減少網頁瀏覽器對於需要外掛程式的豐富性網路應用服務（Plug-in-Based Rich Internet...

计自动化软件来评估制造部门是否能够适应新的设计任务。电子设计自动化工具还被用来将设计的功能导入到类似现场可编程逻辑门阵列的半定制可程式邏輯裝置，或者生产全定制的特殊應用積體電路。 現今數位電路非常模組化（參見集成电路设计、设计收敛、設計流程 (EDA)（英语：Design flow...

了100次試飛，其後的9個月再進行多20次。第三架原型機於2012年8月試飛中開始進行對主動電子掃描雷達的測試。第四架原形機於2012年12月12日首飛，一個月後在莫斯科與其他飛機一起作飛行測試。2013年10月27日，第五架原型機開始試飛，但在2014年2月21日在降落後引擎起火並嚴重損壞，之後用...

安全服务（NSS）和Windows平台的TLS实现都不受影响。 2012年2月，传输层安全（TLS）和数据报传输层安全（DTLS）协议的心跳扩展成为了标准，是为RFC 6520。它提供了一种无需每次都重新协商连接，就能测试和保持安全...

C++和Java语言之间的不同可以追溯到它們各自的傳統，它們有着不同的設計目標。 C++ 被設計成主要用在系統性應用程式設計上的語言，对C語言進行了擴展。基于C語言這個為執行效率設計的過程式程式設計語言，C++添加了对这些特性的支持：靜態類型的面向对象程序設計的支持、異常處理、RAII以及泛型。另外它還添加了一個包含泛型容器和算法的C++庫函數。...

Python定義了WSGI標準應用接口，来協調HTTP伺服器與基於Python的Web程式之間的溝通。比如，通過mod_wsgi（英语：mod_wsgi）模組，Apache可以運行用Python編寫的Web程式。Zope是著名的用Python编写的开源的Web应用...

许多其他语言的設計思想。2014年6月2日，苹果在WWDC上发布了第一个公开的使用Swift编写的应用程序：WWDC应用程序，同时向苹果的注册开发者发布了Swift语言的测试版，但未承诺最终版本与测试版本的源代码相互兼容。大会也发布了长达500页的官方指南，The Swift Programming...