{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":665193375,"defaultBranch":"main","name":"nilaway","ownerLogin":"uber-go","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-07-11T16:37:19.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/19262598?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1717678963.0","currentOid":""},"activityList":{"items":[{"before":"422fc25330cdaf04532693e69171fc7e8adb3417","after":null,"ref":"refs/heads/yuxincs/handle-abnormal-control-flow","pushedAt":"2024-06-06T13:02:43.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"yuxincs","name":"Yuxin Wang","path":"/yuxincs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10323518?s=80&v=4"}},{"before":"885be9df8ef40abe6472450af1fefa6a60e9121d","after":"e90288479601315af13b7fdd3ccd6b50c53a8e7c","ref":"refs/heads/main","pushedAt":"2024-06-06T13:02:42.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"yuxincs","name":"Yuxin Wang","path":"/yuxincs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10323518?s=80&v=4"},"commit":{"message":"Add more test cases for calling no-return functions (#252)\n\nThis PR adds more test cases to test NilAway's ability to handle\r\nno-return functions (such as `os.Exit`, `runtime.Goexit`,\r\n`testing.T.SkipNow` etc.).","shortMessageHtmlLink":"Add more test cases for calling no-return functions (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2326035306\" data-permission-text=\"Title is private\" data-url=\"https://github.com/uber-go/nilaway/issues/252\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/uber-go/nilaway/pull/252/hovercard\" href=\"https://github.com/uber-go/nilaway/pull/252\">#252</a>)"}},{"before":"0cbd8973927c1b49ce2b01fe57f44804f6a01992","after":"422fc25330cdaf04532693e69171fc7e8adb3417","ref":"refs/heads/yuxincs/handle-abnormal-control-flow","pushedAt":"2024-06-05T19:32:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yuxincs","name":"Yuxin Wang","path":"/yuxincs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10323518?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":null,"after":"bf137a99c78d7670053ba3fee69cfebf7ff458ab","ref":"refs/heads/sonalmahajan15/fix-bug-in-order-of-err-return","pushedAt":"2024-06-04T02:51:05.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"sonalmahajan15","name":"Sonal Mahajan","path":"/sonalmahajan15","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/101232472?s=80&v=4"},"commit":{"message":"bug fix","shortMessageHtmlLink":"bug fix"}},{"before":"6ebe4411084253640a6f33d4919e88c3808895b3","after":"0cbd8973927c1b49ce2b01fe57f44804f6a01992","ref":"refs/heads/yuxincs/handle-abnormal-control-flow","pushedAt":"2024-05-31T14:52:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yuxincs","name":"Yuxin Wang","path":"/yuxincs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10323518?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":null,"after":"6ebe4411084253640a6f33d4919e88c3808895b3","ref":"refs/heads/yuxincs/handle-abnormal-control-flow","pushedAt":"2024-05-30T15:30:18.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"yuxincs","name":"Yuxin Wang","path":"/yuxincs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10323518?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":"536b2f08b1a360fe7f5bf76f340f3e952442203b","after":"3285cec48b23f78f3ddeaaac4a9c659e596d6fc7","ref":"refs/heads/sonalmahajan15/refine-type-as-deep","pushedAt":"2024-05-25T00:41:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sonalmahajan15","name":"Sonal Mahajan","path":"/sonalmahajan15","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/101232472?s=80&v=4"},"commit":{"message":"updated comment","shortMessageHtmlLink":"updated comment"}},{"before":"bb822fa5c0dd6570dd5232a54ced584f11de611f","after":"536b2f08b1a360fe7f5bf76f340f3e952442203b","ref":"refs/heads/sonalmahajan15/refine-type-as-deep","pushedAt":"2024-05-25T00:37:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sonalmahajan15","name":"Sonal Mahajan","path":"/sonalmahajan15","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/101232472?s=80&v=4"},"commit":{"message":"code cleanup","shortMessageHtmlLink":"code cleanup"}},{"before":"d22dfba02fce54cd1e7cc327c9b04f25e49d55fd","after":"bb822fa5c0dd6570dd5232a54ced584f11de611f","ref":"refs/heads/sonalmahajan15/refine-type-as-deep","pushedAt":"2024-05-25T00:26:00.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sonalmahajan15","name":"Sonal Mahajan","path":"/sonalmahajan15","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/101232472?s=80&v=4"},"commit":{"message":"code cleanup","shortMessageHtmlLink":"code cleanup"}},{"before":"8b2b043ae25309e65629a4cebd84d24b0bf7d04c","after":"d22dfba02fce54cd1e7cc327c9b04f25e49d55fd","ref":"refs/heads/sonalmahajan15/refine-type-as-deep","pushedAt":"2024-05-25T00:25:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sonalmahajan15","name":"Sonal Mahajan","path":"/sonalmahajan15","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/101232472?s=80&v=4"},"commit":{"message":"code cleanup","shortMessageHtmlLink":"code cleanup"}},{"before":"3844720ad9bfe537be742e8cabfd3368b3c22bb0","after":"8b2b043ae25309e65629a4cebd84d24b0bf7d04c","ref":"refs/heads/sonalmahajan15/refine-type-as-deep","pushedAt":"2024-05-24T22:38:51.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"sonalmahajan15","name":"Sonal Mahajan","path":"/sonalmahajan15","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/101232472?s=80&v=4"},"commit":{"message":"refine check","shortMessageHtmlLink":"refine check"}},{"before":"eb7ecd5cb590e8d68aef4a8ccf26b362e48e81b3","after":"3844720ad9bfe537be742e8cabfd3368b3c22bb0","ref":"refs/heads/sonalmahajan15/refine-type-as-deep","pushedAt":"2024-05-24T22:16:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sonalmahajan15","name":"Sonal Mahajan","path":"/sonalmahajan15","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/101232472?s=80&v=4"},"commit":{"message":"more test cases","shortMessageHtmlLink":"more test cases"}},{"before":"157f07b1e5713b6c4f0af6b7fc540a0850281dd5","after":null,"ref":"refs/heads/yuxincs/make-preprocess-independent","pushedAt":"2024-05-24T20:43:52.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"yuxincs","name":"Yuxin Wang","path":"/yuxincs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10323518?s=80&v=4"}},{"before":"3c07894c3997ff7ee45ea7dcb9d10c0140b2dbae","after":"885be9df8ef40abe6472450af1fefa6a60e9121d","ref":"refs/heads/main","pushedAt":"2024-05-24T20:43:51.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"yuxincs","name":"Yuxin Wang","path":"/yuxincs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10323518?s=80&v=4"},"commit":{"message":"Separate the preprocess into a standalone package (#250)\n\nThis PR separates the CFG preprocessing logic out of the enormous\r\n`assertiontree` package for better code organization.","shortMessageHtmlLink":"Separate the preprocess into a standalone package (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2313722503\" data-permission-text=\"Title is private\" data-url=\"https://github.com/uber-go/nilaway/issues/250\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/uber-go/nilaway/pull/250/hovercard\" href=\"https://github.com/uber-go/nilaway/pull/250\">#250</a>)"}},{"before":"c09340af962738930e954803c18446ae41465ba0","after":"157f07b1e5713b6c4f0af6b7fc540a0850281dd5","ref":"refs/heads/yuxincs/make-preprocess-independent","pushedAt":"2024-05-24T19:56:56.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"yuxincs","name":"Yuxin Wang","path":"/yuxincs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10323518?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":"4c942f8d9829f2bb0ad18859122c622ac5c60b37","after":null,"ref":"refs/heads/yuxincs/make-trusted-func-independent","pushedAt":"2024-05-24T19:53:45.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"yuxincs","name":"Yuxin Wang","path":"/yuxincs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10323518?s=80&v=4"}},{"before":"2ae4ebe994093686153e034713d09f67943e3d86","after":"3c07894c3997ff7ee45ea7dcb9d10c0140b2dbae","ref":"refs/heads/main","pushedAt":"2024-05-24T19:53:44.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"yuxincs","name":"Yuxin Wang","path":"/yuxincs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10323518?s=80&v=4"},"commit":{"message":"Separate the trustedfunc framework from `assertiontree` package (#248)\n\nThis PR separates the `trustedfunc` framework out of the `assertiontree`\r\npackage for better organization.\r\n\r\nAdditionally, we have also removed the `BuiltinAppend` and `BuiltinNew`\r\ninside `trustedfunc` since they are just constant strings. Instead, we\r\nadded those _function objects_ to `util` package and the compare the\r\nfunction objects instead (which is more robust). This will guard us\r\nagainst cases where the code shadows the builtin function `new` and\r\n`append` (although these are rare).","shortMessageHtmlLink":"Separate the trustedfunc framework from <code>assertiontree</code> package (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2313660691\" data-permission-text=\"Title is private\" data-url=\"https://github.com/uber-go/nilaway/issues/248\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/uber-go/nilaway/pull/248/hovercard\" href=\"https://github.com/uber-go/nilaway/pull/248\">#248</a>)"}},{"before":"e551b68d113da293ec3d4eb21646892fc3c8b000","after":"4c942f8d9829f2bb0ad18859122c622ac5c60b37","ref":"refs/heads/yuxincs/make-trusted-func-independent","pushedAt":"2024-05-24T19:25:20.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"yuxincs","name":"Yuxin Wang","path":"/yuxincs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10323518?s=80&v=4"},"commit":{"message":"Merge branch 'main' into yuxincs/make-trusted-func-independent","shortMessageHtmlLink":"Merge branch 'main' into yuxincs/make-trusted-func-independent"}},{"before":"e6141ceae2f56abcd277c9bda1ca4f3104dab95e","after":null,"ref":"refs/heads/yuxincs/refactor-preprocessor","pushedAt":"2024-05-24T19:22:42.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"yuxincs","name":"Yuxin Wang","path":"/yuxincs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10323518?s=80&v=4"}},{"before":"a27654d193af5ac486acd13f6f730b77dae38b24","after":"2ae4ebe994093686153e034713d09f67943e3d86","ref":"refs/heads/main","pushedAt":"2024-05-24T19:22:41.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"yuxincs","name":"Yuxin Wang","path":"/yuxincs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10323518?s=80&v=4"},"commit":{"message":"Refactor CFG preprocess logic (#249)\n\nThis PR refactors the CFG preprocess logic. Specifically, we have\r\nextracted the rich check effect construction out of the preprocessing\r\nlogic such that it is now in its standalone file. This offers a lot\r\nbetter modularity for the already-enormous `assertiontree` package.\r\n\r\nNow in `BackpropAcrossFunc` function we are calling preprocess and\r\nrich-check-effect-generating functions separately.","shortMessageHtmlLink":"Refactor CFG preprocess logic (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2313699743\" data-permission-text=\"Title is private\" data-url=\"https://github.com/uber-go/nilaway/issues/249\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/uber-go/nilaway/pull/249/hovercard\" href=\"https://github.com/uber-go/nilaway/pull/249\">#249</a>)"}},{"before":"2fea2703aba75ce527ba241f196bdef61c7ab3f2","after":"eb7ecd5cb590e8d68aef4a8ccf26b362e48e81b3","ref":"refs/heads/sonalmahajan15/refine-type-as-deep","pushedAt":"2024-05-24T18:29:07.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sonalmahajan15","name":"Sonal Mahajan","path":"/sonalmahajan15","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/101232472?s=80&v=4"},"commit":{"message":"added comment","shortMessageHtmlLink":"added comment"}},{"before":"95f80b8f249a1ad4db27bf4450e48b9642b4b4e4","after":"2fea2703aba75ce527ba241f196bdef61c7ab3f2","ref":"refs/heads/sonalmahajan15/refine-type-as-deep","pushedAt":"2024-05-23T23:23:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sonalmahajan15","name":"Sonal Mahajan","path":"/sonalmahajan15","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/101232472?s=80&v=4"},"commit":{"message":"minor refinement","shortMessageHtmlLink":"minor refinement"}},{"before":null,"after":"95f80b8f249a1ad4db27bf4450e48b9642b4b4e4","ref":"refs/heads/sonalmahajan15/refine-type-as-deep","pushedAt":"2024-05-23T22:21:38.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"sonalmahajan15","name":"Sonal Mahajan","path":"/sonalmahajan15","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/101232472?s=80&v=4"},"commit":{"message":"refine pointer handling","shortMessageHtmlLink":"refine pointer handling"}},{"before":null,"after":"c09340af962738930e954803c18446ae41465ba0","ref":"refs/heads/yuxincs/make-preprocess-independent","pushedAt":"2024-05-23T19:58:01.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"yuxincs","name":"Yuxin Wang","path":"/yuxincs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10323518?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":null,"after":"e6141ceae2f56abcd277c9bda1ca4f3104dab95e","ref":"refs/heads/yuxincs/refactor-preprocessor","pushedAt":"2024-05-23T19:41:10.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"yuxincs","name":"Yuxin Wang","path":"/yuxincs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10323518?s=80&v=4"},"commit":{"message":"Move stripNoops to rich_check_effect.go","shortMessageHtmlLink":"Move stripNoops to rich_check_effect.go"}},{"before":"9c7547a5f0f97abdf948c2cf206fe9b4d122a69d","after":"e551b68d113da293ec3d4eb21646892fc3c8b000","ref":"refs/heads/yuxincs/make-trusted-func-independent","pushedAt":"2024-05-23T19:40:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"yuxincs","name":"Yuxin Wang","path":"/yuxincs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10323518?s=80&v=4"},"commit":{"message":"Fix linting and add a test case","shortMessageHtmlLink":"Fix linting and add a test case"}},{"before":null,"after":"9c7547a5f0f97abdf948c2cf206fe9b4d122a69d","ref":"refs/heads/yuxincs/make-trusted-func-independent","pushedAt":"2024-05-23T19:15:05.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"yuxincs","name":"Yuxin Wang","path":"/yuxincs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10323518?s=80&v=4"},"commit":{"message":"update","shortMessageHtmlLink":"update"}},{"before":"bf4cd96e8f9d5f2800ddb59bcca658349f460861","after":null,"ref":"refs/heads/sonalmahajan15/fix-builtin-func-map-access","pushedAt":"2024-05-21T00:37:02.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"sonalmahajan15","name":"Sonal Mahajan","path":"/sonalmahajan15","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/101232472?s=80&v=4"}},{"before":"482b433af02e24441ebeba4db8c3e249c0c1b15c","after":"a27654d193af5ac486acd13f6f730b77dae38b24","ref":"refs/heads/main","pushedAt":"2024-05-21T00:37:01.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"sonalmahajan15","name":"Sonal Mahajan","path":"/sonalmahajan15","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/101232472?s=80&v=4"},"commit":{"message":"Fix for nested non-builtin call expression in map access (#245)\n\nThis PR refines the logic of non-literal map access, particularly in the\r\ncase of built-in call expressions, to not consider the index trackable\r\nif there exists a nested call to non-trackable expression (e.g., custom\r\nfunction) from inside the built-in function.\r\n\r\nFor example, \r\n```\r\ntype MessageBlock struct{}\r\n\r\nfunc (m *MessageBlock) Messages() []*int {\r\n\treturn []*int{new(int)}\r\n}\r\n\r\nfunc test(msgSet []*MessageBlock) {\r\n\tfor _, msgBlock := range msgSet {\r\n\t\t_ = *msgBlock.Messages()[len(msgBlock.Messages())-1]\r\n\t}\r\n}\r\n```\r\nthe `test` function was taking 7 iterations to converge, while now after\r\nthe fix it requires only 3 iterations.\r\n\r\nNote: the goal of this PR is to improve performance only, and should not\r\nhave any effect on the reported errors.","shortMessageHtmlLink":"Fix for nested non-builtin call expression in map access (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2298815911\" data-permission-text=\"Title is private\" data-url=\"https://github.com/uber-go/nilaway/issues/245\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/uber-go/nilaway/pull/245/hovercard\" href=\"https://github.com/uber-go/nilaway/pull/245\">#245</a>)"}},{"before":"7c24cb3e99fa27fa52a7c1dbc3f1fc54df81e2a2","after":"bf4cd96e8f9d5f2800ddb59bcca658349f460861","ref":"refs/heads/sonalmahajan15/fix-builtin-func-map-access","pushedAt":"2024-05-21T00:18:25.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"sonalmahajan15","name":"Sonal Mahajan","path":"/sonalmahajan15","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/101232472?s=80&v=4"},"commit":{"message":"fix bug in call expr","shortMessageHtmlLink":"fix bug in call expr"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEXjNAjwA","startCursor":null,"endCursor":null}},"title":"Activity · uber-go/nilaway"}