ithaca new york key people founders tim teitelbaum and thomas reps products codesonar codesurfer website www.grammatech.com grammatech is a software development tools vendor based in ithaca new york . the company was founded in 1988 as a technology spin off of cornell university . they now develop codesonar a static analysis tool for source code and binaries and perform cyber security research . contents 1 products 2 research 3 history 4 references 5 external links products edit codesonar is a source code and binary code analysis tool that performs a whole program interprocedural analysis on c c java and binary executables . it identifies programming bugs and security vulnerabilities in software . codesonar is used in the defense aerospace medical industrial control electronic telecom datacom and transportation industries . the u.s. food and drug administration fda center for devices and radiological health uses it to detect defects in fielded medical devices . 1 2 the u.s. national highway traffic safety administration nhtsa and nasa used it in its study on sudden unintended acceleration in the electronic throttle control systems of toyota vehicles . codesurfer is a program understanding tool . program constructs including preprocessor directives macros and c templates are analyzed . codesurfer calculates a variety of representations that can be explored through the graphical user interface or accessed through the optional programming interface . research edit grammatech s research division undertakes projects for private contractors including several u.s. government agencies such as nasa the nsf and many branches of the department of defense . grammatech s research is focused on both static analysis and dynamic analysis on both source code and binaries . grammatech recently participated and came in 2nd place in darpa s cyber grand challenge earning 1 million as team techx . 3 grammatech led team techx a collaboration with the university of virginia using their co developed cyber reasoning system called xandra . 4 history edit grammatech is a 1988 spin off from cornell university where its founders had developed an early integrated development environment in 1978 the cornell program synthesizer 5 and a system for generating language based environments from attribute grammar specifications in 1982 the synthesizer generator 6 7 . commercial systems that have been implemented using the synthesizer generator include ora s ada verification system penelope 8 terma s rigorous approach to industrial software engineering raise 9 and loral s checker of the spc quality and style guidelines for ada 10 grammatech co founders reps and teitelbaum received the 2010 acm sigsoft retrospective impact award 5 for their work on the synthesizer generator . 11 grammatech commercialized the wisconsin program slicing tool as codesurfer for c and c in 1999 . codesonar for c and c which is an application of codesurfer c has been available since 2005 . grammatech co founder reps and two other company affiliates shared in a 2011 acm sigsoft retrospective impact award 6 for their paper describing the wisconsin slicing research . 12 grammatech and the university of wisconsin have been collaborating since 2001 to develop analysis reverse engineering and anti tamper tools for binary executables . byproducts of this research are codesurfer x86 13 a version of codesurfer for the intel x86 instruction set codesonar x86 a bug and vulnerability finding tool for stripped executables and an approach to creating such systems automatically from formal semantic descriptions of arbitrary instruction set architectures . 14 references edit quinnell richard a. 2008 03 06 . static analysis stomps on bugs . eetimes . retrieved 2009 01 23 . jetley raoul ; paul anderson april 2008 . using static analysis to evaluate software in medical devices pdf . embedded systems design . united business media . https www.cybergrandchallenge.com event results http www.wired.com 2016 08 security bots show hacking isnt just humans teitelbaum t. ; t. reps september 1981 . the cornell program synthesizer a syntax directed programming environment . communications of the acm . 24 9 563 573 . doi 10.1145 358746.358755 . reps t. 1984 . generating language based environments . cambridge ma the m.i.t. press . isbn 0 262 18115 0 . awarded the 1983 acm doctoral dissertation award . . reps thomas w. ; teitelbaum tim 1988 . the synthesizer generator a system for constructing language based editors . cambridge ma springer verlag . isbn 0 387 96857 1 . guaspari d. 1989 . penelope an ada verification system . tri ada 89 proceedings of the conference on tri ada 89 . pittsburgh pa acm . pp. 216 224 . doi 10.1145 74261.74277 . the raise language group corporate 1993 . the raise specification language . upper saddle river nj prentice hall inc. isbn 0 13 752833 7 . software productivity consortium 1995 . ada 95 quality and style guide guidelines for professional programmers spc 94093 cmc version 01.00.10 ed . . herndon va spc. reps t. ; teitelbaum t. 1984 . the synthesizer generator 1 . in sde 1 proc . of the first acm sigsoft sigplan software engineering symposium on practical software development environments . reps t. ; horowitz s. ; sagiv m. ; rosay g. december 1994 . speeding up slicing 2 . proc . second acm sigsoft symposium on foundations of software engineering . new orleans la usa . balakrishnan g. ; reps t. 2004 . analyzing memory accesses in x86 executables 3 . proc . int . conf . on compiler construction . new york ny springer verlag . pp. 5 23 . awarded the eapls best paper award at etaps 2004 . . lim j. ; reps t. april 2008 . a system for generating static analyzers for machine instructions 4 . proc . int . conf . on compiler construction cc . new york ny springer verlag . awarded the eapls best paper award at etaps 2008 . . external links edit software testing portal official website thomas reps s wisconsin website retrieved from https en.wikipedia.org w index.php title grammatech & oldid 734882908 categories static program analysis toolssoftware companies based in new yorkcompanies based in new yorkhidden categories official website different in wikidata and wikipedia navigation menu personal tools not logged intalkcontributionscreate accountlog in namespaces article talk variants views read edit view history more search navigation main pagecontentsfeatured contentcurrent eventsrandom articledonate to wikipediawikipedia store interaction helpabout wikipediacommunity portalrecent changescontact page tools what links hererelated changesupload filespecial pagespermanent linkpage informationwikidata itemcite this page print export create a bookdownload as pdfprintable version languages fran ais edit links this page was last modified on 17 august 2016 at 08 37 . text is available under the creative commons attribution sharealike license ; additional terms may apply . by using this site you agree to the terms of use and privacy policy . wikipedia is a registered trademark of the wikimedia foundation inc. a non profit organization . privacy policy about wikipedia disclaimers contact wikipedia developers cookie statement mobile view