In principle, you can enumerate all possible memory states of the system and determine what the next memory state would be from each one (including multiple pos

In principle, you can enumerate all possible memory states of the system and determine what the next memory state would be from each one (including multiple possible next states if you account for things like interrupts) Then you treeshake the unreachable parts of that directed graph from the start state, and look for closed loops in what remains.