Adds a new configuration option category, pointer-config and two options in the pointer-config:
reflection sets using reflection to true in the pointer analysis when the analysis default state is intialized,
unsafe-no-effect-functions allows the used to specify a set of functions for which no constraint is generated during the pointer analysis. This can dramatically help reducing false positive in some cases (see the fmt.Errorf example) but the user has to think about the soundness of the analysis when using the option.
Adds a new configuration option category,
pointer-configand two options in thepointer-config:reflectionsets using reflection to true in the pointer analysis when the analysis default state is intialized,unsafe-no-effect-functionsallows the used to specify a set of functions for which no constraint is generated during the pointer analysis. This can dramatically help reducing false positive in some cases (see thefmt.Errorfexample) but the user has to think about the soundness of the analysis when using the option.