Static Program Analysis
β Anders MΓΈller, Michael I. Schwartzbach
π Library
π
2018
π Aarhus University
π English
β Scribed by it-ebooks
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
To secure complex enterprise and commercial software systems, developers must evaluate enormous code bases and predict their behavior in a nearly infinite number of configurations. Static source code analysis tools automate much of this checking, acting like spell-checkers to systematically identify