State diagram generator

Question

Is there a tool that generates a state space by looking at the code. that is, if I give a class definition, it should generate a state machine.

EDIT: State machine I mean only a graphical representation of classes and state changes.

Answer 1

I'm afraid you need to be more specific.

The state space of a class is the Cartesian product of the state space of each component and does not have a particularly complex class to have more possible states than protons in the Universe. With a few exceptions, C ++ code is poorly suited for state-space analysis.

. , - ?

, ? , , -, , - . , ?

Answer 2

, statemachine ... , DFA, , , ...