2.3 Pragmas for Controlling Interprocedural Analysis

• The recursive_customization pragma on a method marks it as being potentially a source of unbounded recursive context-sensitive analysis.
• The control_structure pragma on a method indicates that the method should be analyzed separately for each of its callers, even in otherwise context-insensitive algorithms.