StateCache.Set stateSet = state.info.stateSet;
int size = stateSet == null ? 0 : stateSet.size();
sizeDist.record(size);
}
sizeDist.processData();
sizeDist.textReport();
}
private void analyzeStates() {
Iterator i = graph.getStateCache().getStateIterator();
Distribution pcDist = new Distribution("Distribution of program states over PC", "Number of unique instructions", null, "Distribution");