ProgramExecutableAnalyzer
