Over-Approximated Control Flow Graph Construction on Pure Esterel
Chul-Joo Kim, Jeong-Han Yun, Seonggun Kim, Kwang-Moo Choe, Taisook Han · IEICE Transactions on Information and Systems · 2010
Esterel is an imperative synchronous language for controldominant reactive systems.Regardless of imperative features of Esterel, combination of parallel execution and preemption makes it difficult to build control flow graphs (CFGs) of Esterel programs.Simple and convenient CFGs can help to analyze Esterel programs.However, previous researches are not suitable for flow analyses of imperative languages.In this work, we present a method to construct over-approximated CFGs for Pure Esterel.Generated CFGs expose invisible interferences among threads and show program structures explicitly so that they are useful for program analyses based on graph theory or control-/data-flows. key words: esterel,