Skip to content

linux-3.4-32_1-drivers--acpi--fan: allocate var_group* objects

🤖 SoSy-Bot 🤖 requested to merge github/fork/tautschnig/init-var_group-2 into master

Created by: tautschnig

The initial counterexample produced by CBMC involved var_group1, which is passed to acpi_fan_add, where eventually a member of it is passed to strcpy, and thus causing undefined behaviour.

Further code review of this task revealed further var_group* variables that are being dereferenced in functions invoked from main. Where necessary, members are non-deterministically initialised.

Merge request reports