Cleanness checking of string manipulations in C programs via integer analysis

DOI10.1007/3-540-47764-0_12MaRDI QIDQ4778703zbMATH OpenFDO

Authors Nurit Dor, Michael Rodeh, Mooly Sagiv

Publication date 19 November 2002

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/2126/21260194

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of programming languages (68N15) Data structures (68P05) Computing methodologies and applications (68U99)

Recommendations

• Static Analysis of String Manipulations in Critical Embedded C Programs
• Static analysis of string encoders and decoders
• A complete mechanization of correctness of a string-preprocessing algorithm
• Symbolic String Verification: Combining String Analysis and Size Analysis
• Analyzing string buffers in C
• Weaknesses analysis of C string functions based on topological space

Cited in

(12)

• Applications of polyhedral computations to the analysis and verification of hardware and software systems
• Static analysis method for detecting buffer overflow vulnerabilities
• Checking cleanness in linked lists
• Analyzing string buffers in C
• Static Analysis of String Manipulations in Critical Embedded C Programs
• Discovering invariants via simple component analysis
• scientific article; zbMATH DE number 1962745 (Why is no real title available?)
• Weaknesses analysis of C string functions based on topological space
• Sound input filter generation for integer overflow errors
• The two variable per inequality abstract domain
• Some ways to reduce the space dimension in polyhedra computations
• The octagon abstract domain

This page was built for publication: Cleanness checking of string manipulations in C programs via integer analysis

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