인슈어++

Insure++
인슈어++
Parasoft Logo 2017.png
개발자파라소프트
초기 릴리즈1993; 29년 전 (1998년)
안정적 해제
7.5.5 / 2020년 5월 1일(2020-05-01)
운영 체제교차 플랫폼, Linux, Solaris, Windows
다음에서 사용 가능영어
유형프로파일러 / 메모리 디버거
면허증소유권 상용 소프트웨어
웹사이트www.parasoft.com/products/insure

인슈어++는 소프트웨어 개발자가 C와 C++로 작성된 프로그램의 각종 오류를 검출하기 위해 사용하는 메모리 디버거 컴퓨터 프로그램이다.Parasoft에 의해 만들어지며, 기능적으로 Pured, Valgrind, Dr Memory와 같은 다른 메모리 디버거와 유사하다.[1]

개요

Insurance++는 사용 가능한 메모리(사용 후 자유 상황), 어레이 기반 위반, 할당되지 않은 메모리(프로그래머가 동일한 메모리를 두 번 비울 때 또는 전역 또는 스택 메모리를 비울 때 종종 발생함) 및 기타 많은 메모리에 대한 잘못된 액세스를 자동으로 찾을 수 있다.[2]

인슈어++는 퓨처나 발그라인드와 달리 소스코드 레벨에서 계측기를 삽입해 다른 툴이 놓치는 오류를 검출할 수 있다.[3][4][clarification needed][5]특히 Insurance++는 다음 예와 같이 한 유효 메모리 영역에서 다른 유효 메모리 영역으로 우연히 "점프"한 포인터를 포함하는 자동 배열의 버퍼 오버플로우를 감지할 수 있다.

#include <stdlib.h> 인트로 본래의()  {     마를 뜨다 *p = 만록의(1024); /* 최초의 동적 변환 블록 */     마를 뜨다 *q = 만록의(1024); /* 두 번째 블록 */     p += 1200; /* 이 시점에서 "p"는 두 번째 블록을 가리킬 가능성이 있다.  그러나 실제 행동에 대한 잘못된 가정은 실수를 낳는다.*/     *p = 'a';  /* 잘못된 쓰기(첫 번째 블록 끝을 지나) */  }

소스 수준 계측기는 누출이 발생했다는 사실뿐만 아니라 누출이 발생한 위치를 식별할 수 있도록 한다.[1]일부 도구는 메모리가 할당된 위치에 대한 정보만 제공하며, Insurance++는 실제 누출이 발생한 시기와 장소에 대한 스택 추적도 제공한다.

또한 Insurance++는 테스트된 모든 코드에 대해 선형 코드 시퀀스 및 점프 코드 범위 메트릭을 생성한다.

참고 항목

참조

  1. ^ a b "A Survey of Systems for Detection Serial Run-Time Errors" (PDF). Iowa State University High Performance Computing Group. Retrieved 20 September 2010.
  2. ^ Metzger, Robert (2004). Debugging by Thinking: A Multidisciplinary Approach. p. 490. ISBN 1555583075.
  3. ^ "Parasoft Insure++ at Parasoft website". Retrieved January 29, 2014.
  4. ^ Reddy, Martin. API Design for C++. p. 239.
  5. ^ Lier, Matthias (20 November 2010). Tools for High Performance Computing. p. 147. ISBN 978-3642112904.

외부 링크


Stub icon

이 프로그래밍 툴 관련 기사는 단조롭다.위키피디아를 확장하여 도울 수 있다.