photo

Christian Bard

Last seen: Today |  Con actividad desde 2012

Followers: 0   Following: 0

Mensaje

Estadística

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

Ver insignias

Feeds

Ver por

Enviada


Implement DISA STIG Rules with Polyspace Bug Finder
Polyspace Bug Finder is a static analysis tool that can help automate the implementation of a subset of STIG rules.

alrededor de 6 horas hace | 190 descargas |

Thumbnail

Enviada


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

8 meses hace | 4 descargas |

Thumbnail

Enviada


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

más de 2 años hace | 2 descargas |

Enviada


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

alrededor de 8 años hace | 2 descargas |

Thumbnail

Enviada


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.

alrededor de 8 años hace | 3 descargas |

Thumbnail

Enviada


Post Preprocessing Templates
post preprocessing scripts

alrededor de 8 años hace | 1 descarga |