ldv-linux-3.0/module_get_put-drivers-gpu-drm-i915-i915.ko.cil.out: al…

…locate memory The pointer var_group3 is eventually passed to `kfree`, and thus needs to point to heap-allocated memory to avoid memory safety issues. See also sosy-lab#1270.
tautschnig · Dec 7, 2020 · 41fc99e · 41fc99e
1 parent efea738
commit 41fc99e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/c/ldv-linux-3.0/module_get_put-drivers-gpu-drm-i915-i915.ko.cil.out.c b/c/ldv-linux-3.0/module_get_put-drivers-gpu-drm-i915-i915.ko.cil.out.c
@@ -58904,7 +58904,7 @@ int main(void)
   struct drm_display_mode *var_group2 ;
   struct drm_display_mode *var_intel_hdmi_mode_fixup_7_p2 ;
   struct drm_display_mode *var_intel_hdmi_mode_set_4_p2 ;
-  struct drm_connector *var_group3 ;
+  struct drm_connector *var_group3 = ldv_malloc(sizeof(struct drm_connector));
   bool var_intel_hdmi_detect_8_p1 ;
   struct drm_property *var_group4 ;
   uint64_t var_intel_hdmi_set_property_11_p2 ;

diff --git a/c/ldv-linux-3.0/module_get_put-drivers-gpu-drm-i915-i915.ko.cil.out.i b/c/ldv-linux-3.0/module_get_put-drivers-gpu-drm-i915-i915.ko.cil.out.i
@@ -55676,7 +55676,7 @@ int main(void)
   struct drm_display_mode *var_group2 ;
   struct drm_display_mode *var_intel_hdmi_mode_fixup_7_p2 ;
   struct drm_display_mode *var_intel_hdmi_mode_set_4_p2 ;
-  struct drm_connector *var_group3 ;
+  struct drm_connector *var_group3 = ldv_malloc(sizeof(struct drm_connector));
   bool var_intel_hdmi_detect_8_p1 ;
   struct drm_property *var_group4 ;
   uint64_t var_intel_hdmi_set_property_11_p2 ;