Module Wp.WpTargetSource

This module computes the set of kernel functions that are considered by the command line options transmitted to WP. That is:

• all functions on which a verification must be tried,
• all functions that are called by the previous ones,
• including those parameterized via the 'calls' clause.

It takes in account the options -wp-bhv and -wp-props so that if all functions are initially selected but in fact some of them are filtered out by these options, they are not considered.