{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":745881753,"defaultBranch":"main","name":"Tai-e-assignments","ownerLogin":"ruitianzhong","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-01-20T12:39:01.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/99736992?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1705754365.0","currentOid":""},"activityList":{"items":[{"before":"d2e116ad5a4b11552fc45ed562721a6933c00f56","after":"0da9b01ced5410761f5010e41d841308a282524f","ref":"refs/heads/main","pushedAt":"2024-04-25T06:42:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ruitianzhong","name":"Ruitian Zhong","path":"/ruitianzhong","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99736992?s=80&v=4"},"commit":{"message":"update README.md.","shortMessageHtmlLink":"update README.md."}},{"before":"e447864b5f8e2d43a7f282aeb35bf97b5893c781","after":"d2e116ad5a4b11552fc45ed562721a6933c00f56","ref":"refs/heads/main","pushedAt":"2024-04-25T04:10:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ruitianzhong","name":"Ruitian Zhong","path":"/ruitianzhong","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99736992?s=80&v=4"},"commit":{"message":"passed all the tests for A7.\n\n+ when index is updated, add all related `LoadArray` to work list.\n\n+ When the rvalue of the `StoreArray` and `StoreField` is changed, add the all related `LoadArray` and `LoadField` stmts to work list.\n\n+ correctly using `IN` instead of `OUT` in `transferLoadArray()`","shortMessageHtmlLink":"passed all the tests for A7."}},{"before":"034493f200032cd89f037066f12eb4aee68477fa","after":"e447864b5f8e2d43a7f282aeb35bf97b5893c781","ref":"refs/heads/main","pushedAt":"2024-04-24T16:33:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ruitianzhong","name":"Ruitian Zhong","path":"/ruitianzhong","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99736992?s=80&v=4"},"commit":{"message":"basically implement alias-aware InterConstantPropagation for A7.","shortMessageHtmlLink":"basically implement alias-aware InterConstantPropagation for A7."}},{"before":"8dbaef265a51f05fafde1470e32db828541b3961","after":"034493f200032cd89f037066f12eb4aee68477fa","ref":"refs/heads/main","pushedAt":"2024-04-24T09:11:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ruitianzhong","name":"Ruitian Zhong","path":"/ruitianzhong","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99736992?s=80&v=4"},"commit":{"message":"fix bugs and passed all the unit tests in A8.\n\n+ use the correct context when finding tainted sink.\n\n+ match the index of arg specified in sinks' config.\n\n+ correctly handle functions that hava multiple transfer\n\n+ correctly handle taint object in Solver.java","shortMessageHtmlLink":"fix bugs and passed all the unit tests in A8."}},{"before":"ef1d073c0e76cba40e28f18ef3130c05c70549f2","after":"8dbaef265a51f05fafde1470e32db828541b3961","ref":"refs/heads/main","pushedAt":"2024-04-24T04:28:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ruitianzhong","name":"Ruitian Zhong","path":"/ruitianzhong","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99736992?s=80&v=4"},"commit":{"message":"basically implement TaintAnalysis for A8.","shortMessageHtmlLink":"basically implement TaintAnalysis for A8."}},{"before":"b11434c90a8a32c6f0d10205a7bfbdb2351f11eb","after":"ef1d073c0e76cba40e28f18ef3130c05c70549f2","ref":"refs/heads/main","pushedAt":"2024-04-24T01:52:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ruitianzhong","name":"Ruitian Zhong","path":"/ruitianzhong","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99736992?s=80&v=4"},"commit":{"message":"copy code in Solver.java from A6 to A7.","shortMessageHtmlLink":"copy code in Solver.java from A6 to A7."}},{"before":"b5a913daad09289993eeff8411852d291a72bdc2","after":"b11434c90a8a32c6f0d10205a7bfbdb2351f11eb","ref":"refs/heads/main","pushedAt":"2024-04-24T00:44:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ruitianzhong","name":"Ruitian Zhong","path":"/ruitianzhong","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99736992?s=80&v=4"},"commit":{"message":"copy code from A2 and A6 to A7.","shortMessageHtmlLink":"copy code from A2 and A6 to A7."}},{"before":"f03339139fffe603eb8dffd2632760450455b33c","after":"b5a913daad09289993eeff8411852d291a72bdc2","ref":"refs/heads/main","pushedAt":"2024-04-23T11:09:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ruitianzhong","name":"Ruitian Zhong","path":"/ruitianzhong","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99736992?s=80&v=4"},"commit":{"message":"passed all the unit tests for A6.","shortMessageHtmlLink":"passed all the unit tests for A6."}},{"before":"5b9407aaa62ceac53023ee25eb5d301926ddc4f6","after":"f03339139fffe603eb8dffd2632760450455b33c","ref":"refs/heads/main","pushedAt":"2024-04-22T13:48:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ruitianzhong","name":"Ruitian Zhong","path":"/ruitianzhong","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99736992?s=80&v=4"},"commit":{"message":"implement Solver for context-sensitive points-to analysis in A6.","shortMessageHtmlLink":"implement Solver for context-sensitive points-to analysis in A6."}},{"before":"0f8f48b356c6f6e686f25854cfabedd8f74c9c6c","after":"5b9407aaa62ceac53023ee25eb5d301926ddc4f6","ref":"refs/heads/main","pushedAt":"2024-04-22T09:27:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ruitianzhong","name":"Ruitian Zhong","path":"/ruitianzhong","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99736992?s=80&v=4"},"commit":{"message":"passed all the tests for A5.\n\n+ calling addObject() only in propagate (do something according to the change)","shortMessageHtmlLink":"passed all the tests for A5."}},{"before":"a6177e786100140cefd7958d8b3f2fb089eb3140","after":"0f8f48b356c6f6e686f25854cfabedd8f74c9c6c","ref":"refs/heads/main","pushedAt":"2024-04-22T07:14:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ruitianzhong","name":"Ruitian Zhong","path":"/ruitianzhong","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99736992?s=80&v=4"},"commit":{"message":"basically implement context insensitive pointer analysis.","shortMessageHtmlLink":"basically implement context insensitive pointer analysis."}},{"before":"72c100a0810d4e893df25e44a65b0329cdd89be5","after":"a6177e786100140cefd7958d8b3f2fb089eb3140","ref":"refs/heads/main","pushedAt":"2024-04-21T16:04:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ruitianzhong","name":"Ruitian Zhong","path":"/ruitianzhong","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99736992?s=80&v=4"},"commit":{"message":"fix bugs in A4 and implement several function for A5.\n\n+ correctly init the entry point","shortMessageHtmlLink":"fix bugs in A4 and implement several function for A5."}},{"before":"f526e92281f487df7045871efc3a7ab5213c0af3","after":"72c100a0810d4e893df25e44a65b0329cdd89be5","ref":"refs/heads/main","pushedAt":"2024-04-21T03:47:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ruitianzhong","name":"Ruitian Zhong","path":"/ruitianzhong","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99736992?s=80&v=4"},"commit":{"message":"fix bugs and passed basic tests.\n\n+ callGraph.addReachableMethod(entry) for CHABuilder\n\n+ handle `a = x.f` situation for ConstantPropagation\n\n+ correct newBoundaryFact()\n\n+ avoid irrelevant variables for transferCallEdge & transferReturnEdge","shortMessageHtmlLink":"fix bugs and passed basic tests."}},{"before":"8c8953f3bab35f74455fbdb2c22bf07ed7008d89","after":"f526e92281f487df7045871efc3a7ab5213c0af3","ref":"refs/heads/main","pushedAt":"2024-04-20T16:05:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ruitianzhong","name":"Ruitian Zhong","path":"/ruitianzhong","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99736992?s=80&v=4"},"commit":{"message":"implement InterSolver and InterConstantPropagation.","shortMessageHtmlLink":"implement InterSolver and InterConstantPropagation."}},{"before":"dc4159abf16f22ae6a019a917d23a3a598a4e8ce","after":"8c8953f3bab35f74455fbdb2c22bf07ed7008d89","ref":"refs/heads/main","pushedAt":"2024-04-20T08:19:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ruitianzhong","name":"Ruitian Zhong","path":"/ruitianzhong","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99736992?s=80&v=4"},"commit":{"message":"implement CHABuilder","shortMessageHtmlLink":"implement CHABuilder"}},{"before":"b9574d674179542a550fc53cc94682c7521528c8","after":"dc4159abf16f22ae6a019a917d23a3a598a4e8ce","ref":"refs/heads/main","pushedAt":"2024-04-19T16:14:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ruitianzhong","name":"Ruitian Zhong","path":"/ruitianzhong","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99736992?s=80&v=4"},"commit":{"message":"passed all the tests of A3 and sync code from A3 to A4.","shortMessageHtmlLink":"passed all the tests of A3 and sync code from A3 to A4."}},{"before":"ea04d8b6209105e39700f4f78d295ab314c37716","after":"b9574d674179542a550fc53cc94682c7521528c8","ref":"refs/heads/main","pushedAt":"2024-04-19T13:05:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ruitianzhong","name":"Ruitian Zhong","path":"/ruitianzhong","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99736992?s=80&v=4"},"commit":{"message":"Use OUT of live variable analysis instead of IN.","shortMessageHtmlLink":"Use OUT of live variable analysis instead of IN."}},{"before":"936ed8402277ffd40d589d26f7164ebc2240765b","after":"ea04d8b6209105e39700f4f78d295ab314c37716","ref":"refs/heads/main","pushedAt":"2024-04-19T10:07:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ruitianzhong","name":"Ruitian Zhong","path":"/ruitianzhong","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99736992?s=80&v=4"},"commit":{"message":"implement DeadCodeDetection for A3.","shortMessageHtmlLink":"implement DeadCodeDetection for A3."}},{"before":"068fd9e051151f3fb5d69b42305f2708b8805c0e","after":"936ed8402277ffd40d589d26f7164ebc2240765b","ref":"refs/heads/main","pushedAt":"2024-04-19T03:10:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ruitianzhong","name":"Ruitian Zhong","path":"/ruitianzhong","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99736992?s=80&v=4"},"commit":{"message":"Sync code from A1 and A2.","shortMessageHtmlLink":"Sync code from A1 and A2."}},{"before":"592fb8d92e969e6856c52ecaa314efe7770a6b37","after":"068fd9e051151f3fb5d69b42305f2708b8805c0e","ref":"refs/heads/main","pushedAt":"2024-04-15T09:11:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ruitianzhong","name":"Ruitian Zhong","path":"/ruitianzhong","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99736992?s=80&v=4"},"commit":{"message":"passed all the basic test for A2.","shortMessageHtmlLink":"passed all the basic test for A2."}},{"before":"047a0f5f99bf6ccd2b79b25059489d59d9d43d94","after":"592fb8d92e969e6856c52ecaa314efe7770a6b37","ref":"refs/heads/main","pushedAt":"2024-04-15T07:03:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ruitianzhong","name":"Ruitian Zhong","path":"/ruitianzhong","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99736992?s=80&v=4"},"commit":{"message":"passed all the tests for A2.\n\n+ NAC for returned value and parameters\n+ avoid shared the list\n+ correctly use `in_copy`","shortMessageHtmlLink":"passed all the tests for A2."}},{"before":"707fe834a7e9dc813dd2ca8eaeace484e94462c8","after":"047a0f5f99bf6ccd2b79b25059489d59d9d43d94","ref":"refs/heads/main","pushedAt":"2024-04-14T15:41:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ruitianzhong","name":"Ruitian Zhong","path":"/ruitianzhong","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99736992?s=80&v=4"},"commit":{"message":"implement WorkListSolver","shortMessageHtmlLink":"implement WorkListSolver"}},{"before":"25d140d431caa4ef948eeab951ae3b91985aa442","after":"707fe834a7e9dc813dd2ca8eaeace484e94462c8","ref":"refs/heads/main","pushedAt":"2024-04-14T13:41:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ruitianzhong","name":"Ruitian Zhong","path":"/ruitianzhong","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99736992?s=80&v=4"},"commit":{"message":"implement ConstantPropagation.java","shortMessageHtmlLink":"implement ConstantPropagation.java"}},{"before":"438c7c458b4b4a9637ab63c87e110f77ea74693d","after":"25d140d431caa4ef948eeab951ae3b91985aa442","ref":"refs/heads/main","pushedAt":"2024-04-14T08:02:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ruitianzhong","name":"Ruitian Zhong","path":"/ruitianzhong","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99736992?s=80&v=4"},"commit":{"message":"finish assignment 1","shortMessageHtmlLink":"finish assignment 1"}},{"before":null,"after":"438c7c458b4b4a9637ab63c87e110f77ea74693d","ref":"refs/heads/main","pushedAt":"2024-01-20T12:39:25.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ruitianzhong","name":"Ruitian Zhong","path":"/ruitianzhong","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/99736992?s=80&v=4"},"commit":{"message":"Dump IR before running analysis","shortMessageHtmlLink":"Dump IR before running analysis"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEOdYtPgA","startCursor":null,"endCursor":null}},"title":"Activity · ruitianzhong/Tai-e-assignments"}