Back to Results
First PageMeta Content
Software testing / GrammaTech / Program analysis / Application security / Software bug / Static program analysis / Vulnerability / Analysis / Pointer / Computing / Software / Cross-platform software


PRODUCT DATASHEET CODESONAR® 4 STATIC ANALYSIS “CodeSonar does a better job of
Add to Reading List

Document Date: 2014-11-26 00:46:21

Open Document

File Size: 1,66 MB

Share Result on Facebook

Company

Texas Instruments / Boston Scientific / GE / GrammaTech Inc. / Intel / /

Country

United States / /

/

Facility

GrammaTech Headquarters / MS Visual Studio / /

IndustryTerm

static-analysis tools / static analysis tools / software-assurance tools / safer software / software security / cyber-security solutions / software developers / embedded software industries / static and dynamic analysis tools / software architecture visualization / software analysis / /

NaturalFeature

Green Hills / /

OperatingSystem

Solaris / Linux / Microsoft Windows / /

Organization

Cornell / /

Person

Gerard Holzmann / /

/

Position

SPIN Model / /

Product

CodeSonar / RAM / /

ProgrammingLanguage

XML / Java / C / Python / HTML / C++ / /

Technology

XML / RAM / Java / Linux / API / HTML / /

URL

http /

SocialTag