Project

General

Profile

Bug #8231

ldv_memory_free is called without parameters

Added by Vadim Mutilin about 2 years ago. Updated about 1 year ago.

Status:
Closed
Priority:
Urgent
Category:
Rule specifications
Target version:
Start date:
06/01/2017
Due date:
% Done:

100%

Estimated time:
Detected in build:
svn
Platform:
Published in build:

Description

ldv_memory_free is called without parameters


1 void ldv_rsi_91x_deinit_54 (struct rsi_hw *ldv_func_arg1)
952 {
953
954 if (ldv_func_arg1->rsi_dev != 0) {
955 ldv_memory_free();
956 }
957 if (ldv_func_arg1 != 0) {
958 ldv_memory_free();
959 }
960 }

Klever Core version     0.1rc24.dev1+ng0a1a1e7.d20170404
Linux kernel:Version     4.2.6
Linux kernel:Architecture     x86_64
Linux kernel:Configuration     allmodconfig
LKVOG strategy:Name     separate modules
Verification object     drivers/net/wireless/rsi/rsi_usb.ko
Rule specification     generic:memory

http://ldvstore:8998/reports/unsafe/1072857/

History

#1

Updated by Anton Vasilyev about 1 year ago

  • % Done changed from 0 to 50

Fix on branch fix_empty_free cca83819d3fe
Need to test

#2

Updated by Anton Vasilyev about 1 year ago

Tested with generic:memory

#3

Updated by Anton Vasilyev about 1 year ago

  • % Done changed from 50 to 100
  • Status changed from New to Resolved
#4

Updated by Evgeny Novikov about 1 year ago

  • Target version set to 2.0
  • Priority changed from Normal to Urgent
  • Category changed from Environment model to Rule specifications

Let's postpone a bit these fixes since Klever 1.0 is overloaded.

#5

Updated by Evgeny Novikov about 1 year ago

  • Target version changed from 2.0 to 1.1

This issue is not strictly bound with purposes of 2.0 that targets verification of C software.

#6

Updated by Evgeny Novikov about 1 year ago

I will test it together with #8985 (branch generic-memory-fixes).

#7

Updated by Evgeny Novikov about 1 year ago

  • Status changed from Resolved to Closed

Tests passed together with #8985, so, I merged the branch to master in c651828a.

Also available in: Atom PDF