Skip to content

linux-43_1a-drivers--w1--slaves--w1_ds2431: allocate char buffer

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

Created by: tautschnig

The character array are is used in a call to memcmp. CBMC produced counterexamples for this benchmark as the use of memcmp with uninitialised pointers is undefined behaviour.

Merge request reports