Modular control flow analysis for libraries

DOI10.1007/3-540-45789-5_14MaRDI QIDQ4411957zbMATH OpenFDO

Authors Christian W. Probst

Publication date 13 July 2003

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/2477/24770165.htm

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• scientific article; zbMATH DE number 2090839
• scientific article; zbMATH DE number 2087567
• Separate abstract interpretation for control-flow analysis
• Static reduction analysis for imperative object oriented languages
• Points-to and side-effect analyses for programs built with precompiled libraries

Cited in

(5)

• Class invariants as abstract interpretation of trace semantics
• Points-to and side-effect analyses for programs built with precompiled libraries
• Static reduction analysis for imperative object oriented languages
• Integrating library modules into Pascal programs
• Dimensions of precision in reference analysis of object-oriented programming languages

Describes a project that uses

Uses Software

• PAG

This page was built for publication: Modular control flow analysis for libraries

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