Skip to main content
assistive.skiplink.to.breadcrumbs
assistive.skiplink.to.header.menu
assistive.skiplink.to.action.menu
assistive.skiplink.to.quick.search

Page History

Versions Compared

Old Version 56

changes.mady.by.user Anirban Gangopadhyay

Saved on Aug 30, 2019

compared with

New Version Current

changes.mady.by.user Kris Kafka

Saved on Feb 28, 2021

Key

This line was added.
This line was removed.
Formatting was changed.

Comment: Added PC-lint Plus to Automated Detection Table

...

Tool

Version

Checker

Description

LDRA tool suite

Include Page

	LDRA_V
	LDRA_V

590 S

Partially implemented

Include Page

	PC-lint Plus_V
	PC-lint Plus_V

2472, 2473

Fully supported

Polyspace Bug Finder

Include Page

	Polyspace Bug Finder_V
	Polyspace Bug Finder_V

CERT C: Rec. FIO11-C

Checks for bad file access mode or status (rec. partially fully covered)

Related Vulnerabilities

...