Skip to content

hwmon-ibmpex: stack-allocate objects passed to memcpy

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

Created by: tautschnig

CBMC reported a counterexample involving use of invalid pointers being passed to memcpy. Allocate the objects involved, and do so by just declaring them as local objects in main.

Merge request reports