Skip to content
GitLab
    • GitLab: the DevOps platform
    • Explore GitLab
    • Install GitLab
    • How GitLab compares
    • Get started
    • GitLab docs
    • GitLab Learn
  • Pricing
  • Talk to an expert
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
    • Switch to GitLab Next
    Projects Groups Snippets
  • Register
  • Sign in
  • CPAchecker CPAchecker
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
    • Locked Files
  • Issues 410
    • Issues 410
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
  • Merge requests 20
    • Merge requests 20
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
    • Test Cases
  • Packages and registries
    • Packages and registries
    • Container Registry
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Code review
    • Insights
    • Issue
    • Repository
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • SoSy-LabSoSy-Lab
  • Software
  • CPAcheckerCPAchecker
  • Issues
  • #358
Closed
Open
Issue created Jul 13, 2018 by 🤖 SoSy-Bot 🤖@sosy-botOwner

Consolidate pointer-aliasing analyses

Original issue created by @PhilippWendler on 2017-09-07 at 15:35:46, last modified on 2017-09-07 at 18:24:02


Currently there are at least two CPAs for pointer-alias analysis, the AndersenCPA and the PointerCPA (in the pointer2 package). It should be evaluated whether these two CPAs can be merged into a single CPA, which should be sound and fast enough such that it can be added to most standard configurations of CPAchecker.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
Time tracking