|
|
|
|
|
|
|
|
|
|
|
|
|
• |
Source
model extractors can work
|
|
|
|
– |
statically,
directly on the system’s artifacts, or
|
|
|
|
– |
dynamically,
on the execution of the system, or
|
|
|
|
– |
a
combination of both
|
|
|
• |
Ex:
|
|
|
|
– |
A
call graph can be extracted statically by
|
|
|
analyzing
the system’s source code or can be
|
|
|
extracted
dynamically by profiling the system’s
|
|
execution
|
|