Value-Range Analysis of C Programs_ Towards Proving the Absence of Buffer Overflow Vulnerabilities [Simon 2011-05-15].pdf

(2763 KB) Pobierz

Value-Range Analysis of C Programs

Axel Simon

Value-Range Analysis

of C Programs

Towards Proving the Absence

of Buffer Overﬂow Vulnerabilities

123

Axel Simon

ISBN: 978-1-84800-016-2

DOI: 10.1007/978-1-84800-017-9

e-ISBN: 978-1-84800-017-9

British Library Cataloguing in Publication Data

A catalogue record for this book is available from the British Library

Library of Congress Control Number: 2008930099

c Springer-Verlag London Limited 2008

Apart from any fair dealing for the purposes of research or private study, or criticism or review, as permit-

ted under the Copyright, Designs and Patents Act 1988, this publication may only be reproduced, stored

or transmitted, in any form or by any means, with the prior permission in writing of the publishers, or in

the case of reprographic reproduction in accordance with the terms of licenses issued by the Copyright

Licensing Agency. Enquiries concerning reproduction outside those terms should be sent to the publishers.

The use of registered names, trademarks, etc., in this publication does not imply, even in the absence of a

speciﬁc statement, that such names are exempt from the relevant laws and regulations and therefore free

for general use.

The publisher makes no representation, express or implied, with regard to the accuracy of the information

contained in this book and cannot accept any legal responsibility or liability for any errors or omissions

that may be made.

Printed on acid-free paper

Springer Science+Business Media

springer.com

To my parents.