{"push_id":1458427756,"size":8,"distinct_size":8,"ref":"refs/heads/termination-crafted-memsafety","head":"f2978041673fe604876f6d159bccd1dd15e69520","before":"a5cfceece1aa12de791928129f7667a7ed45a08e","commits":[{"sha":"491ef5a76625088cf16ce4f13d04cbf8f028a14a","author":{"name":"versokova","email":"292e9eb1a1266071e414e0f05547dd98e74bbf19@gmail.com"},"message":"list-ext-properties/list-{ext,ext_flag}_false-unreach-call_false-valid-deref: fix multiple errors in memsafety (deref+memleaks)","distinct":true,"url":"https://api.github.com/repos/staticafi/sv-benchmarks/commits/491ef5a76625088cf16ce4f13d04cbf8f028a14a"},{"sha":"19b82ac922c6666ba24f3aa134d7aaf63a3f21ee","author":{"name":"versokova","email":"292e9eb1a1266071e414e0f05547dd98e74bbf19@gmail.com"},"message":"ntdrivers: Multiple errors in MemSafety Category is not permitted. From conclusion of issue #325: it is not feasible to fix it for SV-COMP'17. There is multiple memleaks and dereferneces...","distinct":true,"url":"https://api.github.com/repos/staticafi/sv-benchmarks/commits/19b82ac922c6666ba24f3aa134d7aaf63a3f21ee"},{"sha":"aa4f1bb6822aa90d7eb03865eaa8aa4d67d1d416","author":{"name":"Dirk Beyer","email":"8f1347c3bc5c64c00d822d398f6cd84ad84eb8b1@sosy-lab.org"},"message":"Merge pull request #363 from versokova/ntdrivers\n\nntdrivers: Multiple errors in MemSafety Category","distinct":true,"url":"https://api.github.com/repos/staticafi/sv-benchmarks/commits/aa4f1bb6822aa90d7eb03865eaa8aa4d67d1d416"},{"sha":"ff4d37ae3d60669717d1376c0b413f0a279abe55","author":{"name":"Dirk Beyer","email":"8f1347c3bc5c64c00d822d398f6cd84ad84eb8b1@sosy-lab.org"},"message":"Merge pull request #360 from versokova/master\n\nmultiple errors in memsafety in list-ext-properties","distinct":true,"url":"https://api.github.com/repos/staticafi/sv-benchmarks/commits/ff4d37ae3d60669717d1376c0b413f0a279abe55"},{"sha":"48b62414c8ba86389162b72b413a4c41dc9b0539","author":{"name":"dangl@fim.uni-passau.de","email":"83a36e38973b9eb419e819842eddc03248d6b64f@fim.uni-passau.de"},"message":"Limit command-line arguments to 9999","distinct":true,"url":"https://api.github.com/repos/staticafi/sv-benchmarks/commits/48b62414c8ba86389162b72b413a4c41dc9b0539"},{"sha":"cd1475602d237fd93060543b0dc93ee864d70018","author":{"name":"Marek Chalupa","email":"eb60c1ded1888236061b922d142764963554d893@mail.muni.cz"},"message":"termination-crafted: fix memory leaks in two true-valid-memsafety benchmarks\n\nand add the old files labeled as false-valid-memtrack\n\nSigned-off-by: Marek Chalupa <mchalupa@mail.muni.cz>","distinct":true,"url":"https://api.github.com/repos/staticafi/sv-benchmarks/commits/cd1475602d237fd93060543b0dc93ee864d70018"},{"sha":"da116993d3ac60f7e48b10bde5f02c693dd56024","author":{"name":"Marek Chalupa","email":"eb60c1ded1888236061b922d142764963554d893@mail.muni.cz"},"message":"termination-crafted: fix invalid dereference in NonTermination3\n\nThe variable i had arbitrary value when accessing the array a.\nI simply swapped the access and getting a new nondet value\n(in the first iteration there's a nondet value from the initialization)\nso now the loop is like this:\n\ni = __VERIFIER_nondet_int();\nwhile (0 <= i && i < 10 && a[i] >= 0) {\n        a[i] = 0;\n        i = __VERIFIER_nondet_int();\n}\n\nThe false-termination still holds, since if i will be always the same, lets say 1,\nthen the loop will never terminate. The out-of-bound access was removed,\nsince now the value of i is restricted to [0, 9] by the loop's condition.\n\nSigned-off-by: Marek Chalupa <mchalupa@mail.muni.cz>","distinct":true,"url":"https://api.github.com/repos/staticafi/sv-benchmarks/commits/da116993d3ac60f7e48b10bde5f02c693dd56024"},{"sha":"f2978041673fe604876f6d159bccd1dd15e69520","author":{"name":"Marek Chalupa","email":"eb60c1ded1888236061b922d142764963554d893@mail.muni.cz"},"message":"adjust the .set file after the changes\n\nWe added new false-valid-memtrack files that are not in\nthe set files.\n\nSigned-off-by: Marek Chalupa <mchalupa@mail.muni.cz>","distinct":true,"url":"https://api.github.com/repos/staticafi/sv-benchmarks/commits/f2978041673fe604876f6d159bccd1dd15e69520"}]}
{"actor":{"display_login":"mchalupa"}}