{"action":"created","issue":{"url":"https://api.github.com/repos/S2E/s2e-env/issues/39","repository_url":"https://api.github.com/repos/S2E/s2e-env","labels_url":"https://api.github.com/repos/S2E/s2e-env/issues/39/labels{/name}","comments_url":"https://api.github.com/repos/S2E/s2e-env/issues/39/comments","events_url":"https://api.github.com/repos/S2E/s2e-env/issues/39/events","html_url":"https://github.com/S2E/s2e-env/issues/39","id":241479763,"number":39,"title":"\"custom memory allocation vtable not supported\"","user":{"login":"Owlz","id":7632864,"avatar_url":"https://avatars2.githubusercontent.com/u/7632864?v=3","gravatar_id":"","url":"https://api.github.com/users/Owlz","html_url":"https://github.com/Owlz","followers_url":"https://api.github.com/users/Owlz/followers","following_url":"https://api.github.com/users/Owlz/following{/other_user}","gists_url":"https://api.github.com/users/Owlz/gists{/gist_id}","starred_url":"https://api.github.com/users/Owlz/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Owlz/subscriptions","organizations_url":"https://api.github.com/users/Owlz/orgs","repos_url":"https://api.github.com/users/Owlz/repos","events_url":"https://api.github.com/users/Owlz/events{/privacy}","received_events_url":"https://api.github.com/users/Owlz/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2017-07-08T20:58:58Z","updated_at":"2017-07-08T21:08:47Z","closed_at":null,"body":"So, I've managed to get this at least somewhat installed. Performed the following steps:\r\n\r\n1. Setup a new Ubuntu:16.04 docker image\r\n1. s2e init command\r\n1. s2e build command\r\n1. s2e image_build -d command\r\n1. s2e new_project --image debian-8.7.1-x86_64 /bin/ls\r\n\r\nHowever, when I perform the following command:\r\n\r\n1. s2e run ls\r\n\r\nThe TUI pops open for a second, then goes away. I've found some error logs in the project directory:\r\n\r\n```\r\n$ cat stderr.txt \r\n\r\n(process:837): GLib-WARNING **: /build/glib2.0-prJhLS/glib2.0-2.48.2/./glib/gmem.c:483: custom memory allocation vtable not supported\r\nqemu-system-x86_64: -n: invalid option\r\n```\r\n\r\n```\r\n$ cat warnings.txt\r\nWARNING: Cannot get configuration value 'pluginsConfig['TestCaseGenerator'].logLevel':\r\n    value of type nil can not be converted to string\r\nWARNING: Cannot get configuration value 'pluginsConfig['ProcessExecutionDetector'].logLevel':\r\n    value of type nil can not be converted to string\r\n\r\nWARNING: Cannot get configuration value 'pluginsConfig['ModuleExecutionDetector'].logLevel':\r\n    value of type nil can not be converted to string\r\n\r\nWARNING: Cannot get configuration value 'pluginsConfig['ModuleExecutionDetector'].trackAllModules':\r\n    value of type nil can not be converted to boolean\r\n\r\nWARNING: Cannot get configuration value 'pluginsConfig['ModuleExecutionDetector'].configureAllModules':\r\n    value of type nil can not be converted to boolean\r\n\r\nWARNING: Cannot get configuration value 'pluginsConfig['ModuleExecutionDetector'].trackExecution':\r\n    value of type nil can not be converted to boolean\r\n\r\nWARNING: Cannot get configuration value 'pluginsConfig['StaticFunctionModels'].logLevel':\r\n    value of type nil can not be converted to string\r\n\r\nWARNING: Cannot get configuration value 'pluginsConfig['StaticFunctionModels'].count':\r\n    value of type nil can not be converted to integer\r\n\r\nWARNING: Cannot get configuration value 'pluginsConfig['CUPASearcher'].batchTime':\r\n    value of type nil can not be converted to integer\r\n\r\nWARNING: Cannot get configuration value 'pluginsConfig['CUPASearcher'].enabled':\r\n    value of type nil can not be converted to boolean\r\n\r\nWARNING: Cannot get configuration value 'pluginsConfig['TranslationBlockCoverage'].logLevel':\r\n    value of type nil can not be converted to string\r\n\r\nWARNING: Cannot get configuration value 'pluginsConfig['ModuleTracer'].logLevel':\r\n    [string \"return pluginsConfig['ModuleTracer'].logLevel...\"]:1: attempt to index field 'ModuleTracer' (a nil value)\r\n\r\nWARNING: Cannot get configuration value 'pluginsConfig['CorePlugin'].logLevel':\r\n    [string \"return pluginsConfig['CorePlugin'].logLevel\"]:1: attempt to index field 'CorePlugin' (a nil value)\r\n\r\n3 [State 0] LinuxMonitor: Module load not yet implemented\r\n3 [State 0] LinuxMonitor: Module load not yet implemented\r\n3 [State 0] LinuxMonitor: Module load not yet implemented\r\n3 [State 0] LinuxMonitor: Module load not yet implemented\r\n3 [State 0] LinuxMonitor: Module load not yet implemented\r\n3 [State 0] LinuxMonitor: Module load not yet implemented\r\n3 [State 0] LinuxMonitor: Module load not yet implemented\r\n3 [State 0] LinuxMonitor: Module load not yet implemented\r\n3 [State 0] LinuxMonitor: Module load not yet implemented\r\n3 [State 0] LinuxMonitor: Module load not yet implemented\r\n3 [State 0] BaseInstructions: Message from guest (0x7f14aa34ad36): S2E_SYM_ARGS is not set. All arguments will be concrete\r\nAll states were terminated\r\nTerminating node 0 (instance slot 0)\r\n```\r\n\r\nAlso this:\r\n\r\n```\r\nBEGIN searcher description\r\nDFSSearcher\r\nEND searcher description\r\n1 [State 0] Created initial state\r\nAdding CPU (addr = 0x7fa7a6c8c010, size = 0x36e70)\r\nInitializing periodic timer\r\nAdding memory block (startAddr = 0xffffffffffffffff, size = 0x10000000, hostAddr = 0x7fa773e00000, isSharedConcrete=0, name=pc.ram)\r\nAdding memory block (startAddr = 0xffffffffffffffff, size = 0x20000, hostAddr = 0x55bf72f39000, isSharedConcrete=1, name=pc.bios)\r\nAdding memory block (startAddr = 0xffffffffffffffff, size = 0x20000, hostAddr = 0x55bf72f8a000, isSharedConcrete=1, name=pc.rom)\r\nAdding memory block (startAddr = 0xffffffffffffffff, size = 0x800000, hostAddr = 0x7fa764200000, isSharedConcrete=1, name=vga.vram)\r\nAdding memory block (startAddr = 0xffffffffffffffff, size = 0x10000, hostAddr = 0x55bf73a27000, isSharedConcrete=1, name=cirrus_vga.rom)\r\nAdding memory block (startAddr = 0xffffffffffffffff, size = 0x20000, hostAddr = 0x55bf73a95000, isSharedConcrete=1, name=e1000.rom)\r\nWarning: vlan 0 is not connected to host network\r\nCould not initialize SDL(No available video device) - exiting\r\nTerminating node 0 (instance slot 0)\r\n```"},"comment":{"url":"https://api.github.com/repos/S2E/s2e-env/issues/comments/313881143","html_url":"https://github.com/S2E/s2e-env/issues/39#issuecomment-313881143","issue_url":"https://api.github.com/repos/S2E/s2e-env/issues/39","id":313881143,"user":{"login":"adrianherrera","id":8626578,"avatar_url":"https://avatars1.githubusercontent.com/u/8626578?v=3","gravatar_id":"","url":"https://api.github.com/users/adrianherrera","html_url":"https://github.com/adrianherrera","followers_url":"https://api.github.com/users/adrianherrera/followers","following_url":"https://api.github.com/users/adrianherrera/following{/other_user}","gists_url":"https://api.github.com/users/adrianherrera/gists{/gist_id}","starred_url":"https://api.github.com/users/adrianherrera/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/adrianherrera/subscriptions","organizations_url":"https://api.github.com/users/adrianherrera/orgs","repos_url":"https://api.github.com/users/adrianherrera/repos","events_url":"https://api.github.com/users/adrianherrera/events{/privacy}","received_events_url":"https://api.github.com/users/adrianherrera/received_events","type":"User","site_admin":false},"created_at":"2017-07-08T21:08:47Z","updated_at":"2017-07-08T21:08:47Z","body":"BTW can I suggest that we move this to the S2E dev google groups at https://groups.google.com/forum/#!forum/s2e-dev? You can just create the one topic there and update it with issues as you go along, and we can discuss things there. Creating all these issues is not making things easier.\r\n\r\nThanks!"}}
{"actor":{"display_login":"adrianherrera"}}