bannera

Book A.
Introduction

Book B.
7150 Requirements Guidance

Book C.
Topics

Tools,
References, & Terms

SPAN
(NASA Only)

Tool title

Title of page above

Type

Academic

Owner/Source

Nick Volanski

Link

http://mygcc.free.fr/

Description

An extensible version of gcc (the GNU C compiler), that can be customized by adding user-defined checks for detecting for example memory leaks, unreleased locks, or null pointer dereferences. User-defined checks are performed in addition to normal compilation, and may result in additional warning messages. Mygcc allows programmers to add their own checks that take into account syntax, control flow, and data flow information.

User

TBD

SWE

SWE-135


  • No labels