Merge requests · SoSy-Lab / Software / CPAchecker · GitLab

Draft: Support new CfaToCExporter with CFA transformations

!91 · created Jun 23, 2022 by Thomas Lemberger Student Task component: CFA & AST
- 1 left
- 7
updated Aug 30, 2022
Draft: Split System Dependence Graph into smaller components

!90 · created Jun 21, 2022 by Thomas Lemberger component: slicing
- 1 left
- 0
updated Sep 05, 2022
Add support for data race detection

!89 · created Jun 20, 2022 by Martin Spiessl SV-COMP enhancement
- 1 left
- 14
updated Oct 04, 2022
New Approaches and Visualization for Verification Coverage

!84 · created May 16, 2022 by Philipp Wendler
- 1 left
- 213
updated Jun 10, 2022
Stop storing references to unreachable function-exit nodes

!82 · created May 06, 2022 by Thomas Lemberger component: CFA & AST
- 1 left
- 3
updated Sep 05, 2022
Improve CFA Transformer and CFA Metadata

!80 · created Mar 24, 2022 by Thomas Lemberger component: CFA & AST
- 1 left
- 64
updated Sep 06, 2022
Draft: MR for code review of branch 'impact-stop-join'

!79 · created Mar 07, 2022 by Po-Chun Chien component: ARGCPA component: PredicateCPA
- 1 left
- 38
updated May 06, 2022
Draft: automatic program repair BA

!69 · created Jan 24, 2022 by Sudeep Kanav
- 1 left
- 23
updated Jan 26, 2022
Draft: StringCPA: A CPA for String Analysis in Java Programs

!67 · created Dec 17, 2021 by Philipp Wendler java string
- 1 left
- 107
updated Apr 27, 2022
Draft: MR for code review of branch loopsummary

!56 · created Jul 09, 2021 by Martin Spiessl
- 1 left
- 1
updated Jul 22, 2022
MR for Code Review of taintanalysis branch

!53 · created Jun 21, 2021 by Martin Spiessl
- 1 left
- 28
updated Aug 12, 2021
Upgrade Octagon and Elina Library

!41 · created Dec 28, 2020 by Karlheinz Friedberger
- 1 left
- 0
updated Dec 28, 2020
Merge Legion

!38 · created Dec 09, 2020 by Philipp Wendler
- 1 left
- 199
updated Jan 25, 2021
MR for code review of branch sl integration0

!25 · created Sep 19, 2020 by Martin Spiessl
- 1 left
- 114
updated Jan 25, 2021
MR for Code Review of loopaccel branch

!22 · created Aug 04, 2020 by Martin Spiessl Thesis topic
- 1 left
- 107
updated Apr 05, 2021
Merge CPALockator

!9 · created Oct 14, 2019 by Philipp Wendler
- 1 left
- 2
updated Oct 05, 2021
Backward transfer

!8 · created Sep 25, 2019 by Karlheinz Friedberger Thesis topic
- 1 left
- 20
updated Dec 27, 2020