Tool title |
Title of page above |
Type |
COTS |
Owner/Source |
Semmle |
Link |
https://semmle.com/case-studies/semmle-nasa-landing-curiosity-safely-mars |
Description |
NASA JPL are using Semmle QL throughout the organization to enforce NASA’s coding standards, to find and eradicate critical software problems and their variants, as well as Semmle LGTM to effectively share best practices and knowledge across the team of NASA JPL’s flight software developers and to prevent variants of known problems from ever being introduced into mission software. |
User |
JPL |
SWE |
SWE-135 |
