"The book introduces static analysis. It covers both the basic theoretical foundations and the basic practical consideration underlying the design, implementation, and the use of static analysis tools. It is hard to find good references that could provide a quick and comprehensive introduction for non-experts. The scientific literature on static analysis is huge, and may seem hard for students or working engineers to get started quickly. Indeed, while we can recommend great scientific articles on many specific topics, these ...
Read More
"The book introduces static analysis. It covers both the basic theoretical foundations and the basic practical consideration underlying the design, implementation, and the use of static analysis tools. It is hard to find good references that could provide a quick and comprehensive introduction for non-experts. The scientific literature on static analysis is huge, and may seem hard for students or working engineers to get started quickly. Indeed, while we can recommend great scientific articles on many specific topics, these are often too advanced for a general audience. The purpose of this book is precisely to provide such a general introduction, that effectively provides the basic key concepts (both in the theory and in the practical point of view), gives the gist of the state of the art in program static analysis, and that can be read rather quickly and easily. More precisely, we cover the mathematical foundations of general static analysis frameworks (semantics, semantic abstraction, computation of program invariants), more advanced notions and techniques (abstractions for advanced programming features, and to answer a wide range of semantic questions), and techniques to implement and use static analysis tools"--
Read Less
Add this copy of Introduction to Static Analysis: an Abstract to cart. $37.76, very good condition, Sold by spellbound rated 5.0 out of 5 stars, ships from McKeesport, PA, UNITED STATES, published 2020 by The MIT Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very Good. Size: 7x0x9; Very Good Condition and Unread! Text is clean and unmarked! Light shelf wear to cover from storage. Has a small black line or red dot on bottom/exterior edge of pages.
Add this copy of Introduction to Static Analysis: an Abstract to cart. $41.48, fair condition, Sold by ClickGoodwill rated 5.0 out of 5 stars, ships from Indianapolis, IN, UNITED STATES, published 2020 by MIT Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fair. This is a hard cover book: Used-Acceptable: All pages and the cover are intact, but shrink wrap, dust covers, or boxed set case may be missing. Pages may include limited notes, highlighting, or minor water damage but the text is readable. Item may be missing bundled media.
Add this copy of Introduction to Static Analysis: An Abstract to cart. $73.63, like new condition, Sold by GreatBookPrices rated 4.0 out of 5 stars, ships from Columbia, MD, UNITED STATES, published 2020 by MIT Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine. Sewn binding. Cloth over boards. 320 p. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Introduction to Static Analysis: an Abstract to cart. $77.89, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2020 by The MIT Press.
