A component-based state machine for restricting the user control flow graph. - View it on GitHub