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 36

changes.mady.by.user David Svoboda

Saved on May 20, 2025

compared with

New Version Current

changes.mady.by.user Joerg Herter

Saved on Oct 31, 2025

Key

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

...

Tool

Version

Checker

Description

Include Page

	Astrée_V
	Astrée_V

bad-enumerator
bad-macro-use

Fully checked

Include Page

	PC-lint Plus_V
	PC-lint Plus_V

586

Fully supported

Include Page

	RuleChecker_V
	RuleChecker_V

bad-enumerator
bad-macro-use

Fully checked

Bibliography

[Open Group 2004]

...