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 Overflow 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
specific 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.
Zgłoś jeśli naruszono regulamin