{"action":"closed","issue":{"url":"https://api.github.com/repos/nidhugg/nidhugg/issues/22","repository_url":"https://api.github.com/repos/nidhugg/nidhugg","labels_url":"https://api.github.com/repos/nidhugg/nidhugg/issues/22/labels{/name}","comments_url":"https://api.github.com/repos/nidhugg/nidhugg/issues/22/comments","events_url":"https://api.github.com/repos/nidhugg/nidhugg/issues/22/events","html_url":"https://github.com/nidhugg/nidhugg/issues/22","id":265228446,"number":22,"title":"Memory Related Nidhugg Crash","user":{"login":"kjellwinblad","id":200374,"avatar_url":"https://avatars3.githubusercontent.com/u/200374?v=4","gravatar_id":"","url":"https://api.github.com/users/kjellwinblad","html_url":"https://github.com/kjellwinblad","followers_url":"https://api.github.com/users/kjellwinblad/followers","following_url":"https://api.github.com/users/kjellwinblad/following{/other_user}","gists_url":"https://api.github.com/users/kjellwinblad/gists{/gist_id}","starred_url":"https://api.github.com/users/kjellwinblad/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kjellwinblad/subscriptions","organizations_url":"https://api.github.com/users/kjellwinblad/orgs","repos_url":"https://api.github.com/users/kjellwinblad/repos","events_url":"https://api.github.com/users/kjellwinblad/events{/privacy}","received_events_url":"https://api.github.com/users/kjellwinblad/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":4,"created_at":"2017-10-13T09:39:24Z","updated_at":"2017-11-22T18:01:57Z","closed_at":"2017-11-22T18:01:56Z","author_association":"CONTRIBUTOR","body":"Nidhugg crashes under certain situation when memory is allocated with `malloc`. A small program that reproduces the crash can be found below. The test program is not very \"realistic\" but I get a similar stack trace from a crash in larger and more realistic test program. \r\n\r\n# Stacktrace:\r\n[stacktrace.txt](https://github.com/nidhugg/nidhugg/files/1382073/stacktrace.txt)\r\n\r\n# Example to reproduce the crash:\r\n[testcase.zip](https://github.com/nidhugg/nidhugg/files/1382087/testcase.zip)\r\n\r\n# How to run the test program\r\n```shell\r\n# Running the test case with two threads does not cause any crash\r\n$ make nocrash \r\nnidhugg --sc test.ll -- 2\r\nWARNING: Calling unknown external function atoi as blackbox.\r\nTrace count: 3 (also 2 sleepset blocked)\r\nNo errors were detected\r\n# Crash\r\nmake crash \r\nnidhugg --sc test.ll -- 3\r\nWARNING: Calling unknown external function atoi as blackbox.\r\nMakefile:13: recipe for target 'crash' failed\r\nmake: *** [crash] Segmentation fault (core dumped)\r\n```\r\n\r\n# Versions\r\n\r\nNidhugg was build from version with commit id: 5db3df3289c4c2eeea763453325a2378bef0ca67\r\n\r\n```\r\nclang --version\r\nclang version 3.8.0-2ubuntu4 (tags/RELEASE_380/final)\r\nTarget: x86_64-pc-linux-gnu\r\nThread model: posix\r\nInstalledDir: /usr/bin\r\n```\r\n"}}
{"actor":{"display_login":"carlleonardsson"}}