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

  • component: Scripts
    SoSy-Lab / Software / CPAchecker
    Maintainer: @PhilippWendler
  • component: Symbolic execution
    SoSy-Lab / Software / CPAchecker
    Maintainer: @lemberger
  • component: Termination
    SoSy-Lab / Software / CPAchecker
  • component: ThreadingCPA
    SoSy-Lab / Software / CPAchecker
    Maintainer: @kfriedberger
  • component: UsageCPA
    SoSy-Lab / Software / CPAchecker
  • component: ValueAnalysisCPA
    SoSy-Lab / Software / CPAchecker
    Maintainer: @lemberger
  • component: VerifierCloud
    SoSy-Lab / Software / CPAchecker
    DO NOT USE - use https://gitlab.com/sosy-lab/software/verifiercloud/issues
  • component: Witness Export
    SoSy-Lab / Software / CPAchecker
    Maintainer: @masp
  • component: static-slicing
    SoSy-Lab / Software / CPAchecker
    Static slicing component of CPAchecker. Includes for example Dependence-Graph Computation, Slicing Utils, Slicing CPA.
  • component: util.floatingpoint
    SoSy-Lab / Software / CPAchecker
    component for modeling arbitrary-precision floats in Java
  • component: witness2test
    SoSy-Lab / Software / CPAchecker
    Maintainer: @lemberger
  • concurrency
    SoSy-Lab / Software / CPAchecker
    related to analyzing concurrent programs
  • counterexample
    SoSy-Lab / Software / CPAchecker
    related to counterexamples found by the analysis
  • coverage
    SoSy-Lab / Software / CPAchecker
    related to coverage information produced by the analysis
  • crash
    SoSy-Lab / Software / CPAchecker
    CPAchecker crashes, e.g. with an exception or assertion
  • data races
    SoSy-Lab / Software / CPAchecker
    related to finding data races in programs
  • duplicate
    SoSy-Lab / Software / CPAchecker
  • enhancement
    SoSy-Lab / Software / CPAchecker
    improvement of functionality of CPAchecker, e.g., new features
  • float
    SoSy-Lab / Software / CPAchecker
    related to floating-point arithmetic in the analyzed program
  • function pointer
    SoSy-Lab / Software / CPAchecker
    related to function pointers in the analyzed program