Flow-Sensitivity Heuristic for C interval analysis

feature_table: Features for learning flow-sensitivity heuristics. Features present syntactic or semantic properties of variables in C programs. Figure 1: Figure 1 presents the learned flow-sensitivity heuristic (f0, f1). F0 presents the variables that will be analyzed flow-insensitively while F1 presents the variables that will be analyzed flow-sensitively.