Node
The unit the architecture layer reasons about: a class, a method or a field of the analysed program.
Call Graph
The directed graph of which method may call which, and why it is the object of the analysis.
DFS Path
Depth-first traversal of the call graph, used to find a route from student code to a forbidden operation.
Rule
A condition asserted over the analysed program, and what it means for one to be violated.