DataFAN: A practical approach to data flow analysis for Ada 95

DOI10.1007/3-540-48046-3_18MaRDI QIDQ3045875zbMATH OpenFDO

Authors Krzysztof Czarnecki, Michael Himsolt, Ernst Richter, Falk Vieweg, Alfred Rosskopf

Publication date 12 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2361/23610231.htm

zbMATH Keywords

ASISlanguage toolsmission criticalquality assurancesafety criticalSPARKstatic analysisverification

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Recommendations

• Using the SPARK toolset for showing the absence of run-time errors in safety-critical software
• Closing the loop: The influence of code analysis on design
• Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software
• Programming Languages and Systems
• Data Flow Analysis

Cited in

(4)

• Using the SPARK toolset for showing the absence of run-time errors in safety-critical software
• Closing the loop: The influence of code analysis on design
• Exposing uninitialized variables: Strengthening and extending run-time checks in Ada
• AIDA–A dynamic data flow anomaly detection system for pascal programs

Describes a project that uses

Uses Software

• DataFAN
• Ada95

This page was built for publication: DataFAN: A practical approach to data flow analysis for Ada 95

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