Prioritized Labels
  • priocritical
    SoSy-Lab / Software
  • priomajor
    SoSy-Lab / Software
  • priominor
    SoSy-Lab / Software
  • priominimal
    SoSy-Lab / Software
  • Other Labels
  • AG
    Issue should to be discussed in the next group meeting
    SoSy-Lab
  • CPA-Workshop
    to be discussed at the yearly CPA workshop
    SoSy-Lab / Software / CPAchecker
  • Doing
    SoSy-Lab / Software / CPAchecker
  • GDPR
    Related to GDPR compliance (data protection)
    SoSy-Lab
  • LDV
    Issues important for the LDV project
    SoSy-Lab / Software / CPAchecker
  • OS: Linux
    SoSy-Lab / Software / CPAchecker
  • OS: Mac
    SoSy-Lab / Software / CPAchecker
  • OS: Windows
    SoSy-Lab / Software / CPAchecker
  • Regression
    SoSy-Lab / Software / CPAchecker
  • SV-COMP
    Issue that affects SV-COMP
    SoSy-Lab / Software / CPAchecker
  • Student Task
    A task that can be given to a student assistant who has free time
    SoSy-Lab
  • Teaching
    SoSy-Lab
  • Thesis topic
    BA/MA thesis
    SoSy-Lab
  • aliasing
    related to pointer aliasing in the analyzed program
    SoSy-Lab / Software / CPAchecker
  • array
    related to arrays in the analyzed program
    SoSy-Lab / Software / CPAchecker
  • attributes
    related to __attribute__(...) in the analyzed program
    SoSy-Lab / Software / CPAchecker
  • auto-migrated
    SoSy-Lab / Software / CPAchecker
  • benchmarks
    SoSy-Lab / Software / CPAchecker
  • blocked by solver
    This is a problem in a solver that CPAchecker depends on.
    SoSy-Lab / Software / CPAchecker
  • bug
    bug in CPAchecker
    SoSy-Lab / Software / CPAchecker