Back to Results
First PageMeta Content
Data types / Primitive types / Memory management / C++ / Static program analysis / Pointer / C / Data-flow analysis / Abstract interpretation / Computing / Software engineering / Computer programming


Precise and Efficient Static Array Bound Checking for Large Embedded C Programs Arnaud Venet Guillaume Brat
Add to Reading List

Document Date: 2006-07-12 15:17:58

Open Document

File Size: 164,77 KB

Share Result on Facebook

City

Washington / DC / /

Company

ABC / Airbus / Edison Design Group / /

Country

United States / /

Currency

USD / /

/

Event

Reorganization / Man-Made Disaster / /

IndustryTerm

mission software systems / flight control software / symbolic and numerical systems / resolution algorithm / sparse systems / analysis over several processors / static analysis tool / static analysis algorithms / software developers / quadratic algorithm / database communications / family software / satellite phases / interprocedural propagation algorithms / syntactic call site / flight software / software architecture / software family / large mission-critical software / appropriate fixpoint algorithms / conducted using two NASA mission software systems / duplicated depending on the syntactic call site / /

NaturalFeature

Green Hills / /

Organization

National Aeronautics and Space Administration / Mars Exploration Rover mission / Deep Space One mission / /

Person

Ada Verifier / Wq / Guillaume Brat / /

/

Position

Analysis General / pairs backward-forward / Global Surveyor / backward-forward / representative / forward / /

Product

Pentax K-x Digital Camera / PostgreSQL / /

ProgrammingLanguage

C / C++ / /

Technology

resolution algorithm / Virtual Machine / relational database / sliding windows / static analysis algorithms / 94035 Kestrel Technology / underlying algorithms / DBMs / appropriate fixpoint algorithms / interprocedural propagation algorithms / /

SocialTag