A program analysis is a process that automatically analyzes the behavior of computer programs to determine whether they are operating correctly, robust, safe, and liveable
