GrammaTech - GrammaTech

GrammaTech, Inc.
Soukromé
PrůmyslKvalita softwaru
Hlavní sídloIthaca, New York
Klíčoví lidé
Zakladatelé: Tim Teitelbaum a Thomas Reps
produktyCodeSonar, CodeSurfer
webová stránkawww.grammatech.com

GrammaTech je dodavatel nástrojů pro vývoj softwaru se sídlem v Ithaca, New York. Společnost byla založena v roce 1988 jako technologický spin-off Cornell University. Nyní vyvíjí CodeSonar, nástroj statické analýzy pro zdrojový kód a binární soubory, a provádí výzkum v oblasti kybernetické bezpečnosti.

produkty

CodeSonar je nástroj pro analýzu zdrojového kódu a binárního kódu, který provádí interprocedurální analýzu celého programu C, C ++, Jáva, a binární spustitelné soubory. Identifikuje chyby programování a chyby zabezpečení v softwaru. CodeSonar se používá v obranném / leteckém a kosmickém průmyslu, lékařství, průmyslovém řízení, elektronice, telekomunikacích / datových a dopravních odvětvích. Spojené státy. Úřad pro kontrolu potravin a léčiv (FDA) Centrum pro přístroje a radiologické zdraví používá jej k detekci defektů v lékařských zařízeních.[1][2]Spojené státy. Národní správa bezpečnosti silničního provozu (NHTSA) a NASA použil to ve svém Studie o náhlém neúmyslném zrychlení v elektronických systémech řízení škrticí klapky vozidel Toyota.

CodeSurfer je nástroj pro porozumění programu. Analyzují se programové konstrukce - včetně direktiv preprocesoru, maker a šablon C ++. CodeSurfer vypočítá řadu reprezentací, které lze prozkoumat prostřednictvím grafického uživatelského rozhraní nebo k nim přistupovat prostřednictvím volitelného programovacího rozhraní.

Výzkum

Výzkumná divize společnosti GrammaTech provádí projekty pro soukromé dodavatele, včetně několika amerických vládních agentur, jako je NASA, NSF a mnoho poboček oddělení obrany. Výzkum společnosti GrammaTech je zaměřen na obojí statická analýza a dynamická analýza, jak na zdrojovém kódu, tak na binárních souborech.

GrammaTech se zúčastnil a umístil se na 2. místě v DARPA je 2016 Cyber ​​Grand Challenge, vydělávající 1 milion dolarů jako Team TECHx.[3] Společnost GrammaTech vedla tým TECHx, který spolupracoval s Virginskou univerzitou a využíval společně vyvinutý systém kybernetického uvažování s názvem Xandra.[4]

Dějiny

GrammaTech je produkt z roku 1988 Cornell University, kde se její zakladatelé vyvinuli brzy Integrované vývojové prostředí v roce 1978 (Cornell Program Synthesizer[5]) a systém generování jazyková prostředí z atributová gramatika specifikace v roce 1982 (generátor syntetizátoru[6][7]). Komerční systémy, které byly implementovány pomocí generátoru syntezátoru, zahrnují ORA Ada ověření systém (Penelope[8]),Terma Rigorózní přístup k průmyslovému softwarovému inženýrství (Raise[9]),a Loral kontrola pokynů pro kvalitu a styl SPC pro Adu.[10]Spoluzakladatelé společnosti GrammaTech Reps a Teitelbaum obdržel rok 2010ACM SIGSOFT Cena retrospektivního dopadu [5] za práci na generátoru syntetizátoru.[11]

GrammaTech komercializoval Wisconsin Programové krájení Nástroj jako CodeSurfer pro C a C ++ v roce 1999. CodeSonar pro C a C ++, což je aplikace CodeSurfer / C, je k dispozici od roku 2005. Spoluzakladatel společnosti GrammaTech Reps a další dvě přidružené společnosti sdílené v roce 2011 ACM SIGSOFT Cena za retrospektivní dopad [6] za článek popisující výzkum krájení ve Wisconsinu.[12]

GrammaTech a University of Wisconsin spolupracují na vývoji od roku 2001 analýza, reverzní inženýrství, a anti-tamper nástroje pro binární spustitelné soubory. Vedlejšími produkty tohoto výzkumu jsou CodeSurfer / x86[13] (verze CodeSurfer pro Intel x86 instrukční sada), CodeSonar / x86 (nástroj pro vyhledávání chyb a zranitelností pro zbavené spustitelné soubory) a přístup k automatickému vytváření těchto systémů z formální sémantické popisy libovolné architektury instrukční sady.[14]

V roce 2019 získala společnost GrammaTech společnost Five Points Capital.[15]

Reference

  1. ^ Quinnell, Richard A. (06.03.2008). „Statická analýza dupne na chyby“. EETimes. Citováno 2009-01-23.
  2. ^ Jetley, Raoul; Paul Anderson (duben 2008). „Použití statické analýzy k vyhodnocení softwaru ve zdravotnických zařízeních“ (PDF). Návrh vestavěných systémů. United Business Media. Citovat deník vyžaduje | deník = (Pomoc)[trvalý mrtvý odkaz ]
  3. ^ „Cyber ​​Grand Challenge“. DARPA. Citováno 29. února 2020.
  4. ^ „Hackeři už nemusí být lidmi. Tato bitevní bitva to dokazuje“. Kabelové. 2016-08-05.
  5. ^ Teitelbaum, T .; T. Reps (září 1981). „Cornell Program Synthesizer: Prostředí programování zaměřené na syntaxi“. Komunikace ACM. 24 (9): 563–573. doi:10.1145/358746.358755.
  6. ^ Reps, T. (1984). Generování jazykových prostředí. Cambridge, MA: The M.I.T. Lis. ISBN  978-0-262-18115-0. (Udělena v roce 1983 ACM Cena za doktorskou disertační práci.).
  7. ^ Reps, Thomas W .; Teitelbaum, Tim (1988). Generátor syntetizátoru: Systém pro konstrukci jazykových editorů. Cambridge, MA: Springer-Verlag. ISBN  978-0-387-96857-5.
  8. ^ Guaspari, D. (1989). "Penelope, ověřovací systém Ada". TRI-Ada '89: Sborník z konference o Tri-Adě '89. Pittsburgh, PA: ACM. 216–224. doi:10.1145/74261.74277.
  9. ^ Jazyková skupina RAISE, CORPORATE (1993). Jazyk specifikace RAISE. Horní sedlo, NJ: Prentice-Hall, Inc. ISBN  978-0-13-752833-2.
  10. ^ Konsorcium produktivity softwaru (1995). Průvodce kvalitou a stylem Ada 95: Pokyny pro profesionální programátory (SPC-94093-CMC verze 01.00.10 ed.). Herndon, VA: SPC.
  11. ^ Reps, T .; Teitelbaum, T. (1984). "Generátor syntetizátoru [1] ". V SDE 1 Proc. prvního sympozia softwarového inženýrství ACM SIGSOFT / SIGPLAN o praktických prostředích pro vývoj softwaru.
  12. ^ Reps, T .; Horowitz, S .; Sagiv, M .; Rosay, G. (prosinec 1994). "Urychlení krájení [2] ". Proc. Druhé sympozium ACM SIGSOFT o základech softwarového inženýrství. New Orleans, LA, USA.
  13. ^ Balakrishnan, G .; Reps, T. (2004). "Analýza přístupů do paměti ve spustitelných souborech x86 [3] ". Proc. Int. Konf. o konstrukci překladače. New York, NY: Springer-Verlag. s. 5–23. (Cena EAPLS za nejlepší papír na ETAPS 2004.).
  14. ^ Lim, J .; Reps, T. (duben 2008). "Systém pro generování statických analyzátorů pro strojové pokyny." [4] ". Proc. Int. Konf. na konstrukci překladače (CC). New York, NY: Springer-Verlag. (Cena EAPLS za nejlepší papír na ETAPS 2008.).
  15. ^ „Five Points Capital dokončuje akvizici společnosti GrammaTech“. PR Newswire. 12. listopadu 2019. Citováno 14. května 2020.

externí odkazy