{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":131954048,"defaultBranch":"development","name":"phasar","ownerLogin":"secure-software-engineering","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-05-03T06:53:30.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/2361975?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1714585213.0","currentOid":""},"activityList":{"items":[{"before":"81dfbbf92fce0801851cdb2d9b4ff14b08cd0fb1","after":"b5a0a1c510b8821c1aca18e149b606d300fb37ea","ref":"refs/heads/f-EFSemiRingInProblem","pushedAt":"2024-05-05T13:40:46.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"fabianbs96","name":"Fabian Schiebel","path":"/fabianbs96","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52407375?s=80&v=4"},"commit":{"message":"Merge branch 'development' into f-EFSemiRingInProblem","shortMessageHtmlLink":"Merge branch 'development' into f-EFSemiRingInProblem"}},{"before":"ad25ac4c9608cfc1ba3af151ea9db64220b618e0","after":"81dfbbf92fce0801851cdb2d9b4ff14b08cd0fb1","ref":"refs/heads/f-EFSemiRingInProblem","pushedAt":"2024-05-05T13:35:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fabianbs96","name":"Fabian Schiebel","path":"/fabianbs96","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52407375?s=80&v=4"},"commit":{"message":"Fix IIA","shortMessageHtmlLink":"Fix IIA"}},{"before":"3f1f47c2659013034fd2bc4acdb2ebd823789a96","after":"5e344128280a3c5f6370fac4b0ebfb22e37df3a5","ref":"refs/heads/f-RefactorTypeHierarchyInterface","pushedAt":"2024-05-01T18:09:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fabianbs96","name":"Fabian Schiebel","path":"/fabianbs96","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52407375?s=80&v=4"},"commit":{"message":"minor","shortMessageHtmlLink":"minor"}},{"before":"7ec7d7244e2ace9ac83b203484abf6f9f9fc68bf","after":"3f1f47c2659013034fd2bc4acdb2ebd823789a96","ref":"refs/heads/f-RefactorTypeHierarchyInterface","pushedAt":"2024-05-01T18:07:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fabianbs96","name":"Fabian Schiebel","path":"/fabianbs96","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52407375?s=80&v=4"},"commit":{"message":"Add ctor to LLVMBasedICFG that allows passing in an LLVMVFTableProvider","shortMessageHtmlLink":"Add ctor to LLVMBasedICFG that allows passing in an LLVMVFTableProvider"}},{"before":"68d8f62f8819263e64b6be92310b2b8b2d4f8826","after":"7ec7d7244e2ace9ac83b203484abf6f9f9fc68bf","ref":"refs/heads/f-RefactorTypeHierarchyInterface","pushedAt":"2024-05-01T17:51:27.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"fabianbs96","name":"Fabian Schiebel","path":"/fabianbs96","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52407375?s=80&v=4"},"commit":{"message":"minor fix","shortMessageHtmlLink":"minor fix"}},{"before":null,"after":"68d8f62f8819263e64b6be92310b2b8b2d4f8826","ref":"refs/heads/f-RefactorTypeHierarchyInterface","pushedAt":"2024-05-01T17:40:13.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"fabianbs96","name":"Fabian Schiebel","path":"/fabianbs96","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52407375?s=80&v=4"},"commit":{"message":"Add vtable unittest back","shortMessageHtmlLink":"Add vtable unittest back"}},{"before":null,"after":"7ef4779ccc512b95a18a2424adba3865d870369d","ref":"refs/heads/f-FixPointsToInfo","pushedAt":"2024-04-26T15:43:19.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"fabianbs96","name":"Fabian Schiebel","path":"/fabianbs96","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52407375?s=80&v=4"},"commit":{"message":"add vector include to PointsToInfo.h + create use","shortMessageHtmlLink":"add vector include to PointsToInfo.h + create use"}},{"before":"aa206e30ce1ed81da3390935b9ae030285722e90","after":null,"ref":"refs/heads/f-ResolverInjection","pushedAt":"2024-04-25T17:20:53.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"fabianbs96","name":"Fabian Schiebel","path":"/fabianbs96","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52407375?s=80&v=4"}},{"before":"fc0147f926ceb1b3e8528b1786d16b5fabd98343","after":"488da6a764bcc1329733b962e8377406c3055bb0","ref":"refs/heads/development","pushedAt":"2024-04-25T17:20:50.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fabianbs96","name":"Fabian Schiebel","path":"/fabianbs96","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52407375?s=80&v=4"},"commit":{"message":"Resolver Injection (#717)\n\n* Add ctor to LLVMBasedICFG that allows injecting a CG resolver\r\n\r\n* Low-hanging fruits in resolvers\r\n\r\n* Remove out-commented code + unnecessary includes\r\n\r\n* Make the docker push pipeline work again","shortMessageHtmlLink":"Resolver Injection (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2254533884\" data-permission-text=\"Title is private\" data-url=\"https://github.com/secure-software-engineering/phasar/issues/717\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/secure-software-engineering/phasar/pull/717/hovercard\" href=\"https://github.com/secure-software-engineering/phasar/pull/717\">#717</a>)"}},{"before":"9c20acadce456d8a26396082e05f4d70e293e45a","after":"aa206e30ce1ed81da3390935b9ae030285722e90","ref":"refs/heads/f-ResolverInjection","pushedAt":"2024-04-25T16:53:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fabianbs96","name":"Fabian Schiebel","path":"/fabianbs96","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52407375?s=80&v=4"},"commit":{"message":"Make the docker push pipeline work again","shortMessageHtmlLink":"Make the docker push pipeline work again"}},{"before":"04d214affd4463516ec7be844e1ac6ad1f7e1bc5","after":"9c20acadce456d8a26396082e05f4d70e293e45a","ref":"refs/heads/f-ResolverInjection","pushedAt":"2024-04-25T16:44:26.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"fabianbs96","name":"Fabian Schiebel","path":"/fabianbs96","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52407375?s=80&v=4"},"commit":{"message":"Merge branch 'development' into f-ResolverInjection","shortMessageHtmlLink":"Merge branch 'development' into f-ResolverInjection"}},{"before":"d19033c85ccfdcb53d3719e45db90c8f423c7a9d","after":null,"ref":"refs/heads/f-SQLite3Dependency","pushedAt":"2024-04-25T16:44:11.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"fabianbs96","name":"Fabian Schiebel","path":"/fabianbs96","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52407375?s=80&v=4"}},{"before":"331c4b76fb690a8098c96e1fbf4293f54c1dadd5","after":"fc0147f926ceb1b3e8528b1786d16b5fabd98343","ref":"refs/heads/development","pushedAt":"2024-04-25T16:44:08.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fabianbs96","name":"Fabian Schiebel","path":"/fabianbs96","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52407375?s=80&v=4"},"commit":{"message":"Make the sqlite3-dependency optional (#711)","shortMessageHtmlLink":"Make the sqlite3-dependency optional (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2182403532\" data-permission-text=\"Title is private\" data-url=\"https://github.com/secure-software-engineering/phasar/issues/711\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/secure-software-engineering/phasar/pull/711/hovercard\" href=\"https://github.com/secure-software-engineering/phasar/pull/711\">#711</a>)"}},{"before":"f5e3ecb7bf9dda1ed8cfd09758c20871571685c3","after":"04d214affd4463516ec7be844e1ac6ad1f7e1bc5","ref":"refs/heads/f-ResolverInjection","pushedAt":"2024-04-25T16:14:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fabianbs96","name":"Fabian Schiebel","path":"/fabianbs96","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52407375?s=80&v=4"},"commit":{"message":"Remove out-commented code + unnecessary includes","shortMessageHtmlLink":"Remove out-commented code + unnecessary includes"}},{"before":"e82cb6866ddb6fbcaf7aa3c36a1e97e8cbe1e7c4","after":"d19033c85ccfdcb53d3719e45db90c8f423c7a9d","ref":"refs/heads/f-SQLite3Dependency","pushedAt":"2024-04-25T16:11:19.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"fabianbs96","name":"Fabian Schiebel","path":"/fabianbs96","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52407375?s=80&v=4"},"commit":{"message":"Merge branch 'development' into f-SQLite3Dependency","shortMessageHtmlLink":"Merge branch 'development' into f-SQLite3Dependency"}},{"before":"dd4b19c2a03e358f444ab36f3b58dd2f140d8e0e","after":null,"ref":"refs/heads/f-LLVM15Compatibility","pushedAt":"2024-04-25T16:11:09.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"fabianbs96","name":"Fabian Schiebel","path":"/fabianbs96","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52407375?s=80&v=4"}},{"before":"8bdd67ccc3c5db2a9bd0519dd014fe93acb88f4a","after":"331c4b76fb690a8098c96e1fbf4293f54c1dadd5","ref":"refs/heads/development","pushedAt":"2024-04-25T16:11:05.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fabianbs96","name":"Fabian Schiebel","path":"/fabianbs96","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52407375?s=80&v=4"},"commit":{"message":"LLVM 15 Compatibility (#709)\n\n* Make phasar compile and run with LLVM 14 and 15 (still using typed pointers)\r\n\r\n* Make phasar compile with clang 15\r\n\r\n* minor\r\n\r\n* fix attempt for clang-14 build\r\n\r\n* another fix attempt\r\n\r\n---------\r\n\r\nCo-authored-by: Martin Mory <mmo@mail.upb.de>","shortMessageHtmlLink":"LLVM 15 Compatibility (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2177240323\" data-permission-text=\"Title is private\" data-url=\"https://github.com/secure-software-engineering/phasar/issues/709\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/secure-software-engineering/phasar/pull/709/hovercard\" href=\"https://github.com/secure-software-engineering/phasar/pull/709\">#709</a>)"}},{"before":"767396e6db34167c2f800759186545d857904c81","after":"dd4b19c2a03e358f444ab36f3b58dd2f140d8e0e","ref":"refs/heads/f-LLVM15Compatibility","pushedAt":"2024-04-25T10:17:50.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"MMory","name":"Martin Mory","path":"/MMory","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/26741412?s=80&v=4"},"commit":{"message":"Merge branch 'development' into f-LLVM15Compatibility","shortMessageHtmlLink":"Merge branch 'development' into f-LLVM15Compatibility"}},{"before":"9d5de40a06859bfbf0d83966abdbbdef56acdc92","after":"0adaae82706d8d57387d16c8ff05acc4b22ffba3","ref":"refs/heads/f-FeatureTaintAnalysis","pushedAt":"2024-04-23T07:55:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fabianbs96","name":"Fabian Schiebel","path":"/fabianbs96","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52407375?s=80&v=4"},"commit":{"message":"Rename FeatureTaintAnalysis to FeatureInteractionAnalysis","shortMessageHtmlLink":"Rename FeatureTaintAnalysis to FeatureInteractionAnalysis"}},{"before":"4f3ba96a73e41cda937944a7a1fe4fab2b40b7d1","after":"9d5de40a06859bfbf0d83966abdbbdef56acdc92","ref":"refs/heads/f-FeatureTaintAnalysis","pushedAt":"2024-04-23T07:42:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fabianbs96","name":"Fabian Schiebel","path":"/fabianbs96","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52407375?s=80&v=4"},"commit":{"message":"Fix call handling (TODO: Should we strong update pointer args?)","shortMessageHtmlLink":"Fix call handling (TODO: Should we strong update pointer args?)"}},{"before":"ed5ca475d675aefed5fe9efc2978794835e63981","after":"4f3ba96a73e41cda937944a7a1fe4fab2b40b7d1","ref":"refs/heads/f-FeatureTaintAnalysis","pushedAt":"2024-04-23T07:17:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fabianbs96","name":"Fabian Schiebel","path":"/fabianbs96","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52407375?s=80&v=4"},"commit":{"message":"Fix IIA","shortMessageHtmlLink":"Fix IIA"}},{"before":"13fb47f01ad42802c25c00bd0e6feea630ff59e6","after":"ed5ca475d675aefed5fe9efc2978794835e63981","ref":"refs/heads/f-FeatureTaintAnalysis","pushedAt":"2024-04-22T18:50:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fabianbs96","name":"Fabian Schiebel","path":"/fabianbs96","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52407375?s=80&v=4"},"commit":{"message":"Make the FTaint Analysis work on the iia tests (not all pass, though)","shortMessageHtmlLink":"Make the FTaint Analysis work on the iia tests (not all pass, though)"}},{"before":"3ea6631aaced974fbca3830822e4a92197bac080","after":"13fb47f01ad42802c25c00bd0e6feea630ff59e6","ref":"refs/heads/f-FeatureTaintAnalysis","pushedAt":"2024-04-22T15:42:41.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"fabianbs96","name":"Fabian Schiebel","path":"/fabianbs96","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52407375?s=80&v=4"},"commit":{"message":"Merge branch 'f-EFSemiRingInProblem' into f-FeatureTaintAnalysis","shortMessageHtmlLink":"Merge branch 'f-EFSemiRingInProblem' into f-FeatureTaintAnalysis"}},{"before":"355af01d71d1d902b028a93098f3df57b3e76633","after":"f5e3ecb7bf9dda1ed8cfd09758c20871571685c3","ref":"refs/heads/f-ResolverInjection","pushedAt":"2024-04-20T12:34:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fabianbs96","name":"Fabian Schiebel","path":"/fabianbs96","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52407375?s=80&v=4"},"commit":{"message":"Low-hanging fruits in resolvers","shortMessageHtmlLink":"Low-hanging fruits in resolvers"}},{"before":"dd68906a44bd8e2a4f5f88ad2fabbd03b7dc0896","after":"ad25ac4c9608cfc1ba3af151ea9db64220b618e0","ref":"refs/heads/f-EFSemiRingInProblem","pushedAt":"2024-04-20T12:18:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fabianbs96","name":"Fabian Schiebel","path":"/fabianbs96","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52407375?s=80&v=4"},"commit":{"message":"minor","shortMessageHtmlLink":"minor"}},{"before":"79c46cffbfa3642b89f85f297a24ed359e1cb7ea","after":"dd68906a44bd8e2a4f5f88ad2fabbd03b7dc0896","ref":"refs/heads/f-EFSemiRingInProblem","pushedAt":"2024-04-18T17:44:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"fabianbs96","name":"Fabian Schiebel","path":"/fabianbs96","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52407375?s=80&v=4"},"commit":{"message":"Incorporate combine and extend into IIA","shortMessageHtmlLink":"Incorporate combine and extend into IIA"}},{"before":null,"after":"79c46cffbfa3642b89f85f297a24ed359e1cb7ea","ref":"refs/heads/f-EFSemiRingInProblem","pushedAt":"2024-04-18T17:11:45.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"fabianbs96","name":"Fabian Schiebel","path":"/fabianbs96","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52407375?s=80&v=4"},"commit":{"message":"Tie the EF semi-ring to the problem + integrate into solver","shortMessageHtmlLink":"Tie the EF semi-ring to the problem + integrate into solver"}},{"before":null,"after":"355af01d71d1d902b028a93098f3df57b3e76633","ref":"refs/heads/f-ResolverInjection","pushedAt":"2024-04-11T11:24:47.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"fabianbs96","name":"Fabian Schiebel","path":"/fabianbs96","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52407375?s=80&v=4"},"commit":{"message":"Add ctor to LLVMBasedICFG that allows injecting a CG resolver","shortMessageHtmlLink":"Add ctor to LLVMBasedICFG that allows injecting a CG resolver"}},{"before":"a084f0f3d18da94e58a104f741419cb666179f65","after":null,"ref":"refs/heads/f-FixCXX20Build","pushedAt":"2024-04-07T12:05:39.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"fabianbs96","name":"Fabian Schiebel","path":"/fabianbs96","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52407375?s=80&v=4"}},{"before":"e02d90c45fc1cf7fa71f5e567bb6f8e098818289","after":"8bdd67ccc3c5db2a9bd0519dd014fe93acb88f4a","ref":"refs/heads/development","pushedAt":"2024-04-07T12:05:36.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"fabianbs96","name":"Fabian Schiebel","path":"/fabianbs96","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52407375?s=80&v=4"},"commit":{"message":"Fix C++20 build (#705)\n\n* Fix C++20 build + minor\r\n\r\n* Update readme","shortMessageHtmlLink":"Fix C++20 build (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2167322212\" data-permission-text=\"Title is private\" data-url=\"https://github.com/secure-software-engineering/phasar/issues/705\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/secure-software-engineering/phasar/pull/705/hovercard\" href=\"https://github.com/secure-software-engineering/phasar/pull/705\">#705</a>)"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEQdu6sQA","startCursor":null,"endCursor":null}},"title":"Activity · secure-software-engineering/phasar"}