Skip to content

net--wireless--ath--ath5k--ath5k: allocate objects

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

Created by: tautschnig

CBMC initially produced a counterexample as invalid pointers were being passed to memcpy. Upon further review, various pointers declared in main and passed to module functions required object allocation to avoid invalid dereferences.

Merge request reports