Sebastian Krings

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
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.
Error: Safety security both

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,

Hey there!

Subscribe and get an email every time we’ve got a new quality piece on here.