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

Draft: Incremental Function Analysis

!119 · created Sep 10, 2023 by Matthias Kettl
- 1 left
- 0
updated Sep 10, 2023
Draft: Implementation of DAR in CPAchecker

!118 · created Sep 01, 2023 by Marek Jankola
component: BMC & Induction interpolation
- 1 left
- 108
updated Sep 23, 2023
Draft: Pointer aliasing for backward analysis (work in progess)

!117 · created Aug 23, 2023 by Nian-Ze Lee
aliasing backwards component: BMC & Induction enhancement pointer
- 1 left
- 18
updated Aug 26, 2023
Draft: Implementation of backward BMC algorithm

!116 · created Aug 15, 2023 by Nian-Ze Lee
backwards component: BMC & Induction
- 1 left
- 1
- 31
updated Aug 26, 2023
Draft: Supporting witness export for backward analysis

!115 · created Aug 14, 2023 by Nian-Ze Lee
backwards component: Witness Export witness
- 1 left
- 18
updated Aug 23, 2023
Draft: Code discussion/review for CFA reverser

!113 · created Jun 16, 2023 by Po-Chun Chien
- 1 left
- 1
- 0
updated Sep 20, 2023
MR for code review of branch invgen-through-sampling

!111 · created May 17, 2023 by Martin Spiessl
- 1 left
- 0
updated Aug 16, 2023
Simplify CFA by using return statements only for return with values

!109 · created Mar 13, 2023 by Philipp Wendler
component: CFA & AST task
- 1 left
- 69
updated May 22, 2023
Review branch threading-extensions

!99 · created Dec 14, 2022 by Martin Spiessl
- 1 left
- 1
updated Dec 30, 2022
Draft: Support new CfaToCExporter with CFA transformations

!91 · created Jun 23, 2022 by Thomas Lemberger
Student Task component: CFA & AST
- 1 left
- 8
updated Jul 13, 2023
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
New Approaches and Visualization for Verification Coverage

!84 · created May 16, 2022 by Philipp Wendler
- 1 left
- 213
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
- 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 Feb 02, 2023
MR for Code Review of taintanalysis branch

!53 · created Jun 21, 2021 by Martin Spiessl
- 1 left
- 28
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
- 1 left
- 0
updated Jan 11, 2023
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