Back to Results
First PageMeta Content
Computing / Data types / Type theory / Procedural programming languages / Polyspace / Abstract interpretation / Static program analysis / Type system / Aliasing / Program analysis / Software engineering / Programming language theory


Technical reports in Computer and Information Science Report number 2008:3 A Comparative Study of Industrial Static Analysis Tools (Extended Version)
Add to Reading List

Document Date: 2010-07-16 02:44:55

Open Document

File Size: 301,94 KB

Share Result on Facebook

Company

Desktop PolySpace Technologies / Ericsson / PolySpace Verifier/Desktop / /

Country

Sweden / /

/

Event

Product Issues / /

IndustryTerm

suggested technical solutions / static analysis tools / market leading static analysis tools / software metrics / non-static type systems / machinery / software vulnerabilities / software runtime errors / telecommunication systems / Software defects / /

Organization

Motor Software Reliability Association / Department of Computer / /

Person

Ulf Nilsson / Emanuelsson Nilsson / /

Position

type qualifier / programmer / /

Product

code / /

ProgrammingLanguage

Ada / Java / C / C++ / /

Technology

Java / underlying supporting technology / shared memory / /

URL

http /

SocialTag