Goannas Eat Bugs
After my PhD, I worked in industry on the verification and development of software for a safety-critical environmental control system. The project used a variety of tools and processes to improve and demonstrate product quality. However, the only static analysis tool being used was lint. I thought there had to be something better. As an …