Project

General

Profile

Actions

Feature #7971

closed

Rule specification generic:memory lacks test cases

Added by Evgeny Novikov almost 8 years ago. Updated over 6 years ago.

Status:
Closed
Priority:
Urgent
Category:
Testing
Target version:
Start date:
02/13/2017
Due date:
% Done:

100%

Estimated time:
Published in build:

Description

I added just initial support for them and several test cases in 527c685 to master, but we need much more.


Related issues 1 (0 open1 closed)

Related to Klever - Bug #7670: Instrumentation of memory allocation functions from driver code should correctly pass size of memoryClosedAnton Vasilyev11/01/2016

Actions
Actions #1

Updated by Evgeny Novikov over 7 years ago

  • Target version set to 0.2

Memory safety issues look to be the most rewarded, so, we definitely need to track what can be detected and do not miss something with updates.

Actions #2

Updated by Evgeny Novikov over 7 years ago

  • Target version changed from 0.2 to 1.0
Actions #3

Updated by Evgeny Novikov over 6 years ago

  • Related to Bug #7670: Instrumentation of memory allocation functions from driver code should correctly pass size of memory added
Actions #4

Updated by Anton Vasilyev over 6 years ago

  • % Done changed from 0 to 50

Additional tests are on branch memory_tests

Actions #5

Updated by Anton Vasilyev over 6 years ago

  • Status changed from New to Resolved
  • Assignee changed from Anton Vasilyev to Evgeny Novikov
  • % Done changed from 50 to 100

Tests are in branch generic_memory_tests ca0927c7d. Ready for merge into master.

Actions #6

Updated by Evgeny Novikov over 6 years ago

  • Assignee changed from Evgeny Novikov to Anton Vasilyev

You are the primary author of this branch, so, don't change the assignee.

I fixed numerous coding-style issues and licenses in the branch. As expected tests failed, since there weren't preset marks for new tests. I added them and hope that in several hours tests will pass.

Actions #7

Updated by Evgeny Novikov over 6 years ago

  • Status changed from Resolved to Closed

Tests passed, so, I merged the branch to master in 85d2deda.

Actions

Also available in: Atom PDF