Klever

EMG allows to define function models that can be added to an environment model. But sometimes one needs to add a model to a single function from a ranged list. As an example, there is a platform_device_add function that should be considered as a registering one preferably. But if there is no call of the function, EMG should use platform_driver_register as a registratng function.

There is a false positive related to this feature:
v5.5.9 drivers/hwmon/sis5595.ko memory safety