Skip to content

linux-3.4-32_1-drivers--platform--x86--topstar-laptop: allocate var_group1 object

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

Created by: tautschnig

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

Merge request reports