Skip to content

Prioritized labels

Drag to reorder prioritized labels and change their relative priority.
  • priocritical
    SoSy-Lab / Software
  • priomajor
    SoSy-Lab / Software
  • priominor
    SoSy-Lab / Software
  • priominimal
    SoSy-Lab / Software

    • Other labels

  • AG
    SoSy-Lab
    Issue should to be discussed in the next group meeting
  • question
    SoSy-Lab / Software / CPAchecker
  • Thesis topic
    SoSy-Lab
    BA/MA thesis
  • component: PointerCPA
    SoSy-Lab / Software / CPAchecker
  • component: Termination
    SoSy-Lab / Software / CPAchecker
  • component: PolicyIteration
    SoSy-Lab / Software / CPAchecker
  • component: General
    SoSy-Lab / Software / CPAchecker
  • aliasing
    SoSy-Lab / Software / CPAchecker
    related to pointer aliasing in the analyzed program
  • array
    SoSy-Lab / Software / CPAchecker
    related to arrays in the analyzed program
  • auto-migrated
    SoSy-Lab / Software / CPAchecker
  • function pointer
    SoSy-Lab / Software / CPAchecker
    related to function pointers in the analyzed program
  • pointer
    SoSy-Lab / Software / CPAchecker
    related to pointers in the analyzed program
  • witness
    SoSy-Lab / Software / CPAchecker
    related to witnesses
  • counterexample
    SoSy-Lab / Software / CPAchecker
    related to counterexamples found by the analysis
  • invariants
    SoSy-Lab / Software / CPAchecker
    related to the generation or use of invariants by the analysis
  • struct field
    SoSy-Lab / Software / CPAchecker
    related to structs and fields in the analyzed program
  • side effects
    SoSy-Lab / Software / CPAchecker
    related to operations with side effects in the analyzed program
  • bug
    SoSy-Lab / Software / CPAchecker
    bug in CPAchecker
  • won't fix
    SoSy-Lab / Software / CPAchecker
  • works for me
    SoSy-Lab / Software / CPAchecker