Christian Bard

Last seen: Today | 自 2012 起处于活动状态

Followers: 0 Following: 0

消息

All

已提交

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.

2 months 前 | 2 次下载 |

已提交

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

10 months 前 | 7 次下载 |

已提交

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

2 years 前 | 2 次下载 |

已提交

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

8 years 前 | 4 次下载 |

已提交

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.

8 years 前 | 3 次下载 |

已提交

Post Preprocessing Templates
post preprocessing scripts

8 years 前 | 1 次下载 |