|
Insure++ is a memory debugger computer program, used by software developers to detect various errors in programs written in C and C++. It is made by Parasoft, and is functionally similar to other memory debuggers, such as Purify, Valgrind and Dr Memory (see DynamoRIO).〔(【引用サイトリンク】url=http://jjc.public.iastate.edu/Runtime.errors.Paper.March4.2006.pdf )〕 ==Overview== Insure++ can automatically find erroneous accesses to freed memory (use-after-free situations), array-bounds violations, freeing unallocated memory (which often happens when a programmer frees the same memory twice, or when he frees global or stack memory), and many others. Unlike Purify and Valgrind, Insure++ inserts its instrumentation at the source-code level,〔(【引用サイトリンク】title=Parasoft Insure++ at Parasoft website )〕 which allows it to detect errors that the other tools miss. In particular, Insure++ can detect buffer overflows in automatic arrays, and overflows which involve pointers that accidentally "jump" from one valid memory region to another, as in the following example: #include int main() The source-level instrumentation allows it to not only identify that a leak occurred, but where it occurred.〔 Some tools merely provide information about where the memory was allocated, Insure++ also gives a stack trace for when/where the actual leak occurred. Additionally, Insure++ will produce Linear Code Sequence and Jump Code Coverage metrics for all tested code. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Insure++」の詳細全文を読む スポンサード リンク
|