https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692022-07-27T14:04:36ZOpen-Source ProjectsKlever - Feature #11771: Fix model for struct_size()https://forge.ispras.ru/issues/11771?journal_id=440262022-07-27T14:04:36ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>Resolved</i></li></ul><p>I did all the best in branch <em>overflow-models</em>. Preliminary testing demonstrated that all related false alarms either become safes/unknowns or there are unsafes that demonstrate clearly that some extra models for other APIs should be developed to avoid excessive nondeterminism. Let's see on complete test results.</p> Klever - Feature #11771: Fix model for struct_size()https://forge.ispras.ru/issues/11771?journal_id=440352022-07-28T07:11:45ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Closed</i></li></ul><p>As expected complete testing demonstrated awesome results, so I merged the branch to master in <a class="changeset" title="Add a couple of new tags suitable for Linux 5.19-rc7" href="https://forge.ispras.ru/projects/klever/repository/331/revisions/db65d7febd4a74e04ef92725e754092418260bc6">db65d7feb</a>.</p>