https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692019-11-11T14:18:28ZOpen-Source ProjectsMicroTESK - Bug #9910: Symbolic executor fails to construct CFGhttps://forge.ispras.ru/issues/9910?journal_id=371762019-11-11T14:18:28ZAlexander Kamkinaskamkin@gmail.com
<ul><li><strong>Category</strong> set to <i>Symexecutor</i></li></ul> MicroTESK - Bug #9910: Symbolic executor fails to construct CFGhttps://forge.ispras.ru/issues/9910?journal_id=376432020-01-11T13:50:20ZArtem Kotsynyak
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>Resolved</i></li><li><strong>% Done</strong> changed from <i>0</i> to <i>100</i></li></ul><p>Applied in changeset <a class="changeset" title="[symexec,cfg] prevent queuing out-of-range indices fixes #9910 Signed-off-by: Artem Kotsynyak <..." href="https://forge.ispras.ru/projects/microtesk/repository/microtesk/revisions/33e860eab77c0ce149448efc06f4cf1ec6df16e9">microtesk|33e860eab77c0ce149448efc06f4cf1ec6df16e9</a>.</p> MicroTESK - Bug #9910: Symbolic executor fails to construct CFGhttps://forge.ispras.ru/issues/9910?journal_id=379222020-01-27T09:13:43ZAlexander Kamkinaskamkin@gmail.com
<ul><li><strong>Target version</strong> changed from <i>2.4</i> to <i>2.5</i></li></ul> MicroTESK - Bug #9910: Symbolic executor fails to construct CFGhttps://forge.ispras.ru/issues/9910?journal_id=379502020-01-27T10:21:54ZAlexander Kamkinaskamkin@gmail.com
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Closed</i></li><li><strong>Published in build</strong> set to <i>2.5.1-beta-200127</i></li></ul>