ECLAIR - ECLAIR

Tento článek je o softwaru. Pro další použití viz Éclair (disambiguation).
ECLAIR
VývojářiBUGSENG, LLC
Stabilní uvolnění
1.2 / 12. listopadu 2012; před 8 lety (2012-11-12)
Operační systémCross-platform
TypStatická analýza kódu
LicenceProprietární
webová stránkabugseng.com/produkty/ eclair

ECLAIR je reklama statická analýza kódu nástroj vyvinutý společností BUGSENG, LLC pro automatickou analýzu, ověřování, testování a transformaci C a C ++ programy.

Schopnosti

ECLAIR je kompletní přepracování řady prototypů[1] vyvinutý v Laboratoři aplikovaných formálních metod University of Parma. Využívá to formální metody - techniky statické analýzy kódu založené na jako abstraktní interpretace a kontrola modelu zkombinováno s omezení spokojenosti techniky k detekci nebo prokázání nepřítomnosti určitých chyby za běhu v zdrojový kód a poskytuje podporu pro analýzu a ověření programu, generování testů programu a transformaci programu.

Pokud jde o analýzu a ověření programu, může ECLAIR staticky detekovat nebo prokázat nepřítomnost anomálií za běhu a také automaticky zkontrolovat shodu s ohledem na několik standardů kódování, jako je například MISRA C, MISRA C ++, CERT C Secure Coding Standard, CERT C ++ Secure Coding Standard,[2] Vysoce integrovaný C ++, NASA /JPL C, ESA / BSSC C / C ++, JSF C ++, EC--,[3] Netrino Embedded C,[4] Síla deseti (C),[5] Průmyslová síla C ++.[6]

Pro testování programu může ECLAIR automaticky syntetizovat sady testovacích vstupů jednotek, které splňují kritérium specifikované uživatelem, a varuje uživatele, když kvůli nedosažitelným podmínkám v programu nelze dosáhnout tohoto pokrytí.

Pokud jde o programovou transformaci, ECLAIR lze použít k provedení komplexních programových transformací: jsou specifikovány syntaktickými a sémantickými kritérii; regiony programu ve zdroji, které odpovídají těmto kritériím, lze volitelně nahradit parametrizovanou substitucí.

Viz také

Reference

  1. ^ R. Bagnara; P. M. Hill; E. Zaffanella (2007). „Prostředí založené na prologu pro uvažování o programovacích jazycích“. arXiv:0711.0345 [cs.PL ].
  2. ^ Seacord, Robert C. (2013). Zabezpečené kódování v C a C ++. Řada SEI v softwarovém inženýrství (2. vydání). Addison-Wesley Professional. ISBN  978-0-321-82213-0.
  3. ^ Hatton, L. (2005). „EC - bezpečnější podmnožina ISO C založená na měření vhodná pro vývoj vestavěných systémů“. Informační a softwarová technologie. 47 (3): 181–695. CiteSeerX  10.1.1.101.7828. doi:10.1016 / j.infsof.2004.08.001.
  4. ^ Barr, Michael (2008). Standard kódování vloženého kódu. Barr Group. ISBN  978-1442164826.
  5. ^ Gerald, J. (2006). „Síla 10: Pravidla pro vývoj bezpečnostně-kritického kodexu“. Počítač. 39 (6): 95–97. doi:10.1109 / MC.2006.212.
  6. ^ Henricson, Mats; Nyquist, Erik (1997). Průmyslová síla C ++. Prentice-Hall PTR. ISBN  978-0131209657.

externí odkazy