After inspecting the AST of a particular segment of code to decide what it means, a checker must then respond to this meaning. Typically, this is done via the state machine interaction model.
After inspecting the AST of a particular segment of code to decide what it means, a checker must then respond to this meaning. Typically, this is done via the state machine interaction model.