Actions
Bug #8231
closedldv_memory_free is called without parameters
Status:
Closed
Priority:
Urgent
Assignee:
Category:
Requirement 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
Updated by Anton Vasilyev almost 6 years ago
- % Done changed from 0 to 50
Fix on branch fix_empty_free cca83819d3fe
Need to test
Updated by Anton Vasilyev almost 6 years ago
- Status changed from New to Resolved
- % Done changed from 50 to 100
Updated by Evgeny Novikov almost 6 years ago
- Category changed from Environment models to Requirement specifications
- Priority changed from Normal to Urgent
- Target version set to 2.0
Let's postpone a bit these fixes since Klever 1.0 is overloaded.
Updated by Evgeny Novikov almost 6 years 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.
Updated by Evgeny Novikov almost 6 years ago
I will test it together with #8985 (branch generic-memory-fixes).
Updated by Evgeny Novikov almost 6 years ago
- Status changed from Resolved to Closed
Actions