코드 피어

CodePeer

CodePeer는 버퍼 오버플로와 같은 런타임 오류를 일으킬 가능성이 있는 구조를 식별하는 정적 분석 도구이며, Ada 프로그램에서의 논리 오류의 전형인 합법적이지만 의심스러운 코드에 플래그를 붙입니다.모든 Ada 런타임 체크는 추상 해석의 [2][3]변형을 사용하여 CodePeer에 의해 철저히 검증됩니다.2014년 10월, CodePeer는 발생할 수 있는 런타임 오류를 식별하기 위한 사운드 툴로서 안전에 중요한 상황에서 사용할 수 있는 것으로 인정되었습니다.또한 CodePeer는 사전 및 사후 조건을 포함하여 각 서브 프로그램의 상세한 [5]애즈-빌트(As-Built) 문서를 작성하여 코드 리뷰를 지원하고 잠재적인 버그와 취약성을 조기에 발견하기 쉽게 합니다.

CodePeer는 북미 본사가 뉴욕에 있고 유럽 본사가 파리에 있는 컴퓨터 소프트웨어 회사인 AdaCore에 의해 생산된다.

「 」를 참조해 주세요.

레퍼런스

  1. ^ Cole, Bernard. "AdaCore releases new CodePeer static analysis tool". Embedded. Retrieved 17 June 2014.
  2. ^ Boulanger, Jean-Louis (November 2011). CodePeer – Beyond Bug-finding with Static Analysis (Static Analysis of Software: The Abstract Interpretation ed.). Hoboken, NJ, USA.: Wiley. p. 183. ISBN 978-1-84821-320-3.
  3. ^ Taft, Tucker (May 2015). "Re-Engineering Abstract Interpretation". HCSS Conference. Retrieved 4 June 2015.
  4. ^ Ayre, Jamie (October 2014). "AdaCore's CodePeer Static Analysis Tool Earns Qualification for Software Verification in Avionics, Railway". Retrieved 4 June 2015.
  5. ^ Walsh, Trudy. "CodePeer spots Ada code errors early". GCN. Retrieved 17 June 2014.

외부 링크