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
Sebastian Krings 28 January 2021
Sebastian Krings
Sebastian is a software engineer working at Axivion, where he is concerned with the deployment and development of tools for static analysis of software.