I'm working on a graph representation of software for a static analysis project, and I'm finding a distinction that I have no name for between different types of variables.On one side of the division, we have local variables and parameters, which are not subject to modification by other threads during the execution of a method. For these variables, static single assignment form is valid.On the other side of the division, we have global variables, fields, and C/C++ static local variables, which can be modified by other threads, meaning static single assignment form is not necessarily valid, as the variable may be modified by a separate thread during the execution of the method.Is there any existing term for this division?
Is there a term for the common semantics of global variables, static local variables, and fields?
terminology;typing