Community Profile

photo

Christian Bard

Last seen: 2일 전 2012년부터 활동

Statistics

All
  • GitHub Submissions Level 1
  • 3 Month Streak
  • Personal Best Downloads Level 1
  • First Review
  • 5-Star Galaxy Level 1
  • First Submission
  • Revival Level 3
  • Knowledgeable Level 2
  • First Answer

배지 보기

Content Feed

보기 기준

제출됨


Polyspace Obfuscator
Obfuscate source code to reproduce Polyspace behaviors to exchange with Technical Support

3달 전 | 다운로드 수: 7 |

Thumbnail

제출됨


Recategorization-Plan-Guidelines-for-MISRA-Using-Polyspace
Document describing a process that allows to follow a recategorization plan guidelines using Polyspace Bug Finder

7달 전 | 다운로드 수: 1 |

제출됨


Implementing DISA STIG Rules with Polyspace Bug Finder
Polyspace Bug Finder can help in automating the implementation of the STIG rules

약 4년 전 | 다운로드 수: 1 |

Thumbnail

제출됨


Polyspace Compiler Templates
Polyspace Compiler template sets help at setup phase according to compiler and target

6년 이상 전 | 다운로드 수: 8 |

Thumbnail

제출됨


USING POLYSPACE® TO IMPLEMENT THE “SOFTWARE QUALITY OBJECTIVES FOR SOURCE CODE QUALITY” STANDARD
This document defines a general and standard approach to measure the software quality.

6년 이상 전 | 다운로드 수: 2 |

Thumbnail

제출됨


Post Preprocessing Templates
post preprocessing scripts

6년 이상 전 | 다운로드 수: 1 |