CHM, Program Static Analysis