Combining source models
Source models may be produced by combining other source models using simple relational operations; for example,
- Extract a source model indicating which functions reference which global variables
- Extract a source model indicating which functions appear in which modules
- Join these two source models to produce a source model of modules referencing globals