https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692017-08-29T09:12:39ZOpen-Source ProjectsKlever - Feature #7971: Rule specification generic:memory lacks test caseshttps://forge.ispras.ru/issues/7971?journal_id=312882017-08-29T09:12:39ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Target version</strong> set to <i>0.2</i></li></ul><p>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.</p> Klever - Feature #7971: Rule specification generic:memory lacks test caseshttps://forge.ispras.ru/issues/7971?journal_id=313202017-08-31T07:17:16ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Target version</strong> changed from <i>0.2</i> to <i>1.0</i></li></ul> Klever - Feature #7971: Rule specification generic:memory lacks test caseshttps://forge.ispras.ru/issues/7971?journal_id=333192018-06-18T11:29:51ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Related to</strong> <i><a class="issue tracker-1 status-5 priority-6 priority-high2 closed" href="/issues/7670">Bug #7670</a>: Instrumentation of memory allocation functions from driver code should correctly pass size of memory</i> added</li></ul> Klever - Feature #7971: Rule specification generic:memory lacks test caseshttps://forge.ispras.ru/issues/7971?journal_id=333282018-06-18T14:03:59ZAnton Vasilyevvasilyev@ispras.ru
<ul><li><strong>% Done</strong> changed from <i>0</i> to <i>50</i></li></ul><p>Additional tests are on branch memory_tests</p> Klever - Feature #7971: Rule specification generic:memory lacks test caseshttps://forge.ispras.ru/issues/7971?journal_id=334122018-06-20T15:13:37ZAnton Vasilyevvasilyev@ispras.ru
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>Resolved</i></li><li><strong>Assignee</strong> changed from <i>Anton Vasilyev</i> to <i>Evgeny Novikov</i></li><li><strong>% Done</strong> changed from <i>50</i> to <i>100</i></li></ul><p>Tests are in branch generic_memory_tests <a class="changeset" title="Additional tests for generic:memory" href="https://forge.ispras.ru/projects/klever/repository/331/revisions/ca0927c7d8f2416dfebf2f40e8dba9807fad5bf2">ca0927c7d</a>. Ready for merge into master.</p> Klever - Feature #7971: Rule specification generic:memory lacks test caseshttps://forge.ispras.ru/issues/7971?journal_id=334262018-06-21T10:30:40ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Assignee</strong> changed from <i>Evgeny Novikov</i> to <i>Anton Vasilyev</i></li></ul><p>You are the primary author of this branch, so, don't change the assignee.</p>
<p>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.</p> Klever - Feature #7971: Rule specification generic:memory lacks test caseshttps://forge.ispras.ru/issues/7971?journal_id=334372018-06-21T16:59:56ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Closed</i></li></ul><p>Tests passed, so, I merged the branch to master in <a class="changeset" title="Add preset marks for new tests for generic:memory https://forge.ispras.ru/issues/7971" href="https://forge.ispras.ru/projects/klever/repository/331/revisions/85d2dedaecac9c49534a2164d9ea3d38471b5e5d">85d2deda</a>.</p>