https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692012-07-20T11:26:58ZOpen-Source ProjectsLinux Kernel Safety RuleDB - Feature #3242: 120: rcu_dereference invocation under rcu_read_lock https://forge.ispras.ru/issues/3242?journal_id=120922012-07-20T11:26:58ZDenis Efremovefremov@ispras.ru
<ul><li><strong>Subject</strong> changed from <i>120: rcu_dereference ouside rcu_read_lock/rcu_read_unlock pair</i> to <i>120: rcu_dereference invocation under rcu_read_lock </i></li></ul> Linux Kernel Safety RuleDB - Feature #3242: 120: rcu_dereference invocation under rcu_read_lock https://forge.ispras.ru/issues/3242?journal_id=120952012-07-20T12:51:23ZDenis Efremovefremov@ispras.ru
<ul><li><strong>Description</strong> updated (<a title="View differences" href="/journals/12095/diff?detail_id=13394">diff</a>)</li></ul> Linux Kernel Safety RuleDB - Feature #3242: 120: rcu_dereference invocation under rcu_read_lock https://forge.ispras.ru/issues/3242?journal_id=121092012-07-21T07:39:03ZEvgeny Novikovnovikov@ispras.ru
<ul></ul><p>And what about Alexey's notices? He said that he already have implemented a corresponding model but this model has some lacks. I didn't see any dificulties in model implementation...</p> Linux Kernel Safety RuleDB - Feature #3242: 120: rcu_dereference invocation under rcu_read_lock https://forge.ispras.ru/issues/3242?journal_id=248152015-12-02T13:05:57ZAnton Vasilyevvasilyev@ispras.ru
<ul></ul><p>Require to add call of macros rcu_dereference_raw() to model for identification errors like in commit <a href="https://git.kernel.org/cgit/linux/kernel/git/stable/linux-stable.git/commit/?id=a214c05" class="external">a214c05</a><br />Either one to create new rule for list operations.</p>