{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":372835378,"defaultBranch":"symex","name":"symex-vp","ownerLogin":"agra-uni-bremen","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-06-01T13:14:04.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1901451?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1627479939.5447412","currentOid":""},"activityList":{"items":[{"before":"63d0a5bd25a2ceff0dc71b3503edf4f1d3194b43","after":"320be16e1e13a3a185ff08631a268955f410c1f7","ref":"refs/heads/symex","pushedAt":"2023-10-04T07:53:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nmeum","name":"Sören Tempel","path":"/nmeum","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2326560?s=80&v=4"},"commit":{"message":"README.md: Add SymEx-VP logo","shortMessageHtmlLink":"README.md: Add SymEx-VP logo"}},{"before":"f14427a583cddfc121ffff06ee9796357c182bba","after":"63d0a5bd25a2ceff0dc71b3503edf4f1d3194b43","ref":"refs/heads/symex","pushedAt":"2023-07-06T15:03:30.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"nmeum","name":"Sören Tempel","path":"/nmeum","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2326560?s=80&v=4"},"commit":{"message":"Remove syscall interception support\n\nThe syscall interception newer really worked with SymEx-VP since our\nmemory implementation is a HashMap and can thus not be passed to\nsys.Init as is. For this reason, most intercepted syscalls caused\na null pointer dereference.\n\nFurthermore, syscalls are nowadays no longer used to interact with\nthe symbolic execution engine as this is now achieved over MMIO using\nthe SymbolicCTRL peripheral. As such, the syscall interception should\nnot be needed anymore.\n\nSee e421dd1fd45a0106c778d09881d099906db28ddf\n\nFixes #13","shortMessageHtmlLink":"Remove syscall interception support"}},{"before":"881834cf3af6b81899297b3b950c4c5075f6d592","after":"f14427a583cddfc121ffff06ee9796357c182bba","ref":"refs/heads/symex","pushedAt":"2023-07-03T14:48:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nmeum","name":"Sören Tempel","path":"/nmeum","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2326560?s=80&v=4"},"commit":{"message":"Dockerfile: Fix group owner of copied source files","shortMessageHtmlLink":"Dockerfile: Fix group owner of copied source files"}},{"before":"2068e912180147e3a757cfcd5b3c592b2e1a711b","after":"881834cf3af6b81899297b3b950c4c5075f6d592","ref":"refs/heads/symex","pushedAt":"2023-07-03T08:50:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nmeum","name":"Sören Tempel","path":"/nmeum","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2326560?s=80&v=4"},"commit":{"message":"Dockerfile: Ensure that ~/.profile is sourced by ash\n\nBy default, Docker doesn't seem to start a login shell in an interactive\nenvironment. Hence, the ~/.profile is not sourced by BusyBox ash and\nthe $PATH changes do not take effect.\n\nThis commit fixes this by specifying an entry point explicitly.","shortMessageHtmlLink":"Dockerfile: Ensure that ~/.profile is sourced by ash"}},{"before":"ff522dfe05f5ffa54f81260130e7ec569b2b4a6a","after":"2068e912180147e3a757cfcd5b3c592b2e1a711b","ref":"refs/heads/symex","pushedAt":"2023-06-30T10:49:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nmeum","name":"Sören Tempel","path":"/nmeum","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2326560?s=80&v=4"},"commit":{"message":"Improve Docker setup\n\n* Switch to stable Alpine release\n* Add .dockerignore to prevent copying build files from host\n* Make use of the USER and WORKDIR commands in the Dockerfile","shortMessageHtmlLink":"Improve Docker setup"}},{"before":"7405dfdb51ff8862bd2a14188e29ef6f6a947383","after":"ff522dfe05f5ffa54f81260130e7ec569b2b4a6a","ref":"refs/heads/symex","pushedAt":"2023-05-26T07:51:52.861Z","pushType":"push","commitsCount":1,"pusher":{"login":"nmeum","name":"Sören Tempel","path":"/nmeum","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2326560?s=80&v=4"},"commit":{"message":"Update clover to fix build with GCC13","shortMessageHtmlLink":"Update clover to fix build with GCC13"}},{"before":"13c59a31dc77c80f12b44432e3cf393ef2628904","after":"7405dfdb51ff8862bd2a14188e29ef6f6a947383","ref":"refs/heads/symex","pushedAt":"2023-03-27T13:52:23.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"nmeum","name":"Sören Tempel","path":"/nmeum","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2326560?s=80&v=4"},"commit":{"message":"clover: update to fix build with llvm15","shortMessageHtmlLink":"clover: update to fix build with llvm15"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMC0wNFQwNzo1Mzo1OS4wMDAwMDBazwAAAAOO_nxR","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wMy0yN1QxMzo1MjoyMy4wMDAwMDBazwAAAAMMFLgZ"}},"title":"Activity · agra-uni-bremen/symex-vp"}