Precise detection of un-initialized variables in large, real-life COBOL programs in presence of unrealizable paths

摘要: Using variables before assigning any values to them are known result in critical failures an application. Few compilers warn about the use of some, but not all uses un-initialized variables. The problem persists, especially COBOL systems, due lack reliable program analysis tools. A reason is presence large number control flow paths un-structured constructs language. We present problems faced by one our big clients his large, based software system static data and control-flow detect them, we observed false positives (imprecision) introduced unrealizable code. propose a solution address realizability issue. on summary function analysis, which adapted for Paragraphs Sections, handle perform-through fall-through control-flow, significantly engineered scale programs (single extending tens thousands lines). this technique, noted very reduction, 45% average,