Buch, Englisch, 302 Seiten, Format (B × H): 165 mm x 243 mm, Gewicht: 1390 g
Towards Proving the Absence of Buffer Overflow Vulnerabilities
Buch, Englisch, 302 Seiten, Format (B × H): 165 mm x 243 mm, Gewicht: 1390 g
ISBN: 978-1-84800-016-2
Verlag: Springer Nature Singapore
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
From the Contents: Preface.- Introduction.-Value Range Analysis.- Analysing C.- A Semantics for C.- Core C.- Related Work.- Part 1 Abstracting Soundly.- Abstract State Space.- Points-To Analysis.- Numeric Domains.- Taming Casting and Wrapping.- A Language Featuring Finite Integer Arithmetic.- Implicit Wrapping of Polyhedral Variables.- Explicit Wrapping of Polyhedral Variables.- An Abstract Semantics for SubC.- Discussion.- Overlapping Memory Accesses and Pointers.- Memory as a Set of Fields.- Mixing Values and Pointers.- Abstraction Relation.- Abstract Semantics.- Part II Ensuring Efficiency.- Planar Polyhedra.- Operations on Inequalities.- Operations on Sets of Inequalities.- The TVPI Abstract Domain.- The Integral TVPI Domain.- Interfacing Analysis and Numeric Domain.- Inferring Relevant Fields and Addresses.- Applying Widening in Fixpoint Calculations.- Part III Improving Precision.- Tracking String Lengths.- Widening with Landmarks.- Combining Points-To and Numeric Analysis.- Conclusion and Outlook