Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Open
34
Merged
89
Closed
18
All
141
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Created date
Draft: Support new CfaToCExporter with CFA transformations
!91
· created
Jun 23, 2022
by
Thomas Lemberger
Student Task
component: CFA & AST
8
0 of 1 Approvals
updated
Jul 13, 2023
Draft: Split System Dependence Graph into smaller components
!90
· created
Jun 21, 2022
by
Thomas Lemberger
component: static-slicing
2
0 of 1 Approvals
updated
Oct 24, 2023
New Approaches and Visualization for Verification Coverage
!84
· created
May 16, 2022
by
Philipp Wendler
213
0 of 1 Approvals
updated
Jun 10, 2022
Draft: MR for code review of branch 'impact-stop-join'
!79
· created
Mar 07, 2022
by
Po-Chun Chien
component: ARGCPA
component: PredicateCPA
39
0 of 1 Approvals
updated
May 23, 2024
Draft: automatic program repair BA
!69
· created
Jan 24, 2022
by
Sudeep Kanav
23
0 of 1 Approvals
updated
Jan 26, 2022
Draft: StringCPA: A CPA for String Analysis in Java Programs
!67
· created
Dec 17, 2021
by
Philipp Wendler
java
string
107
0 of 1 Approvals
updated
Apr 27, 2022
Draft: MR for code review of branch loopsummary
!56
· created
Jul 09, 2021
by
Martin Spiessl
1
0 of 1 Approvals
updated
Feb 02, 2023
MR for Code Review of taintanalysis branch
!53
· created
Jun 21, 2021
by
Martin Spiessl
28
0 of 1 Approvals
updated
Aug 12, 2021
Draft: Add new CPA for numeric libraries (Apron and Elina) as replacement of ApronCPA and OctagonCPA
!41
· created
Dec 28, 2020
by
Karlheinz Friedberger
0 of 1 Approvals
updated
Jan 11, 2023
Merge Legion
!38
· created
Dec 09, 2020
by
Philipp Wendler
200
0 of 1 Approvals
updated
Oct 23, 2023
MR for code review of branch sl integration0
!25
· created
Sep 19, 2020
by
Martin Spiessl
114
0 of 1 Approvals
updated
Jan 25, 2021
MR for Code Review of loopaccel branch
!22
· created
Aug 04, 2020
by
Martin Spiessl
Thesis topic
107
0 of 1 Approvals
updated
Apr 05, 2021
Merge CPALockator
!9
· created
Oct 14, 2019
by
Philipp Wendler
2
0 of 1 Approvals
updated
Oct 05, 2021
Backward transfer
!8
· created
Sep 25, 2019
by
Karlheinz Friedberger
Thesis topic
20
0 of 1 Approvals
updated
Dec 27, 2020
Prev
1
2
Next