A simple error: Safety, security or both?
Aside from safety properties, can we use static analysis tools to detect security issues? Yes, as we will show by discussing a programming error in uftpd,
28 January 2021 No Comments
Sebastian Krings
Sebastian Krings is a software engineer working at Axivion, where he is concerned with the deployment and development of tools for static analysis of software.
Sebastian Krings is a software engineer working at Axivion, where he is concerned with the deployment and development of tools for static analysis of software.