CodePeer - CodePeer

CodePeer je statická analýza nástroj, který identifikuje konstrukce, které pravděpodobně povedou k chybám za běhu, jako jsou přetečení vyrovnávací paměti, a označí legální, ale podezřelý kód, typický pro logické chyby [1] v Ada programy. Všechny kontroly běhu Ada jsou vyčerpávajícím způsobem ověřeny CodePeer pomocí varianty abstraktní interpretace.[2][3] V říjnu 2014 byl CodePeer kvalifikován pro použití v kontextech kritických z hlediska bezpečnosti [4] jako spolehlivý nástroj pro identifikaci možných chyb za běhu. CodePeer také produkuje podrobnou dokumentaci skutečného stavu každého podprogramu, včetně předběžných a následných podmínek, aby pomohl s kontrolou kódu a usnadnil včasné vyhledání potenciálních chyb a slabých míst.[5]

CodePeer je produkován AdaCore, a počítačový software společnost se severoamerickým ústředím v New York City a evropské ústředí v Paříž.

Viz také

Reference

  1. ^ Cole, Bernard. „AdaCore uvádí nový nástroj pro statickou analýzu CodePeer“. Vestavěné. Citováno 17. června 2014.
  2. ^ Boulanger, Jean-Louis (listopad 2011). CodePeer - kromě hledání chyb pomocí statické analýzy (Static Analysis of Software: The Abstract Interpretation ed.). Hoboken, NJ, USA .: Wiley. str. 183. ISBN  978-1-84821-320-3.
  3. ^ Taft, Tucker (květen 2015). „Re-Engineering Abstract Interpretation“. Konference HCSS. Citováno 4. června 2015.
  4. ^ Ayre, Jamie (říjen 2014). „Nástroj statické analýzy CodePeer společnosti AdaCore získává kvalifikaci pro ověřování softwaru v avionice, železnici“. Citováno 4. června 2015.
  5. ^ Walsh, Trudy. „CodePeer brzy zjistí chyby kódu Ada“. GCN. Citováno 17. června 2014.

externí odkazy