Static checker of semantic run-time errors

MaRDI QIDQ5930924zbMATH OpenFDO

Authors S. V. Kuksenko, V. I. Shelekhov

Publication date 26 April 2001

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

static error analyzers

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 1863891
• Toward general diagnosis of static errors
• Extended static checking
• Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software
• Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs

Cited in

(8)

• Multilevel static analysis for improving program quality
• Extended static checking
• Severity levels of inconsistent code
• Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs
• Automatic detection of uninitialized variables
• scientific article; zbMATH DE number 1863891 (Why is no real title available?)
• Toward general diagnosis of static errors
• Doomed program points

Describes a project that uses

Uses Software

• Oberon
• Modula

This page was built for publication: Static checker of semantic run-time errors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5930924)