Test-Driving Static Analysis Tools in Search of C Code Vulnerabilities II

Autor: Panagiotis Katsaros, George Chatzieleftheriou, Apostolos Chatzopoulos

Publikováno v: Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications ISBN: 9783662452301

A large number of tools that automate the process of finding errors in programs has recently emerged in the software development community. Many of them use static analysis as the main method for analyzing and capturing faults in the source code. Sta

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::da87caa1de91f55d16a858449acf87a2
https://doi.org/10.1007/978-3-662-45231-8_39