SofCheck 검사관
SofCheck Inspector |
SofCheck[1] Inspector는 Java 및 Ada용 정적 분석 도구입니다.Java 메서드 또는 Ada 서브프로그램의 사전 및 사후 조건을 정적으로 결정하고 문서화하여 개별 Java 클래스 또는 Ada 패키지, 하위 시스템 또는 전체 프로그램에서 논리 결함,[2] 레이스 조건 및 중복 코드를 식별하기 위해 이 정보를 사용합니다.SofCheck Inspector는 매사추세츠 벌링턴에 있는 소프트웨어 제품 회사인 SofCheck, Inc.에서 생산됩니다.
SofCheck Inspector 정적 분석 엔진은 AdaCore의 CodePeer[3] 정적 분석 제품 내에서 사용됩니다.
「 」를 참조해 주세요.
레퍼런스
- ^ "Archived copy". Archived from the original on 2007-09-28. Retrieved 2009-02-23.
{{cite web}}: CS1 maint: 제목으로 아카이브된 복사(링크) - ^ "Archived copy". Archived from the original on 2007-05-19. Retrieved 2007-04-26.
{{cite web}}: CS1 maint: 제목으로 아카이브된 복사(링크) - ^ "CodePeer". AdaCore.com. Archived from the original on 2012-02-23. Retrieved 2016-08-10.
