Insure++?利用源碼插裝(SCI,ParaSoft 專利技術,#5581696)和運行時指針跟蹤
(RPT,ParaSoft 專利技術,# 5842019)技術。
1. 源碼插裝:
Insure++?對所有程序元素建立壹個綜合數據庫,包括數據結構、內存使用、指針使用
和接口等。
3/3 2. 運行時指針跟蹤:
使用壹個有關指針和內存塊的綜合數據庫檢查對內存的每壹次讀寫操作。