Tool title |
Title of page above |
Type |
Academic |
Owner/Source |
Nick Volanski |
Link |
|
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 |
