Integrity Static Analysis of COTS/SOUP

@inproceedings{Bishop2003IntegritySA,
  title={Integrity Static Analysis of COTS/SOUP},
  author={Peter G. Bishop and Robin E. Bloomfield and Tim Clement and Sofia Guerra and Claire Jones},
  booktitle={SAFECOMP},
  year={2003}
}
This paper describes the integrity static analysis approach developed to support the justification of commercial off-the-shelf software (COTS) used in a safety-related system. The static analysis was part of an overall software qualification programme, which also included the work reported in our paper presented at Safecomp 2002 [1]. Integrity static analysis focuses on unsafe language constructs and “covert” flows, where one thread can affect the data or control flow of another thread. The… CONTINUE READING