Skip to content
GitLab
    • Why GitLab
    • Pricing
    • Contact Sales
    • Explore
  • Why GitLab
  • Pricing
  • Contact Sales
  • Explore
  • Sign in
  • Get free trial
  • SoSy-LabSoSy-Lab
  • Software
  • CPAcheckerCPAchecker
  • Merge requests
  • Open 23
  • Merged 81
  • Closed 15
  • All 119

  • Subscribe to RSS feed
  • 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
  • Prev
  • 1
  • 2
  • Next