Labels

• comp-cli

  Issue related to CLI
• comp-codegen

  Issue is related to code generator
• comp-contest-estimator

  Issue is related to contest estimator
• comp-fuzzing

  Issue is related to the fuzzing
• comp-github-action

  GitHub action, gradle plugin or maven plugin
• comp-ide

  Issue is related to IDE support
• comp-infrastructure

  Infrastructure issues
• comp-instrumented-process

  Issue is related to Instrumented process
• comp-logging

  Issue is related to Logging
• comp-minimizer

  Issue is related to Minimization phase
• comp-rd

  Issue is related RD
• comp-rider-plugin

  Rider C# plugin relates issues
• comp-sandboxing

  Issue is related to sandboxing unpermitted operations by Java Security Manager
• comp-sarif

  Issue is related to SARIF report or Problems tab
• comp-settings

  Issue is related to settings
• comp-spring

  Issue is related to Spring projects support
• comp-summaries

  Something related to the method names, code comments and display names generation
• comp-symbolic-engine

  Issue is related to the symbolic execution engine
• comp-taint-analysis
• comp-ui

  Improvements of plugin UI appearence and functionality
• ctg-bug

  Issue is a bug
• ctg-bug-fix

  PR is fixing a bug
• ctg-documentation

  Improvements or additions to documentation
• ctg-enhancement

  New feature, improvement or change request
• ctg-qa

  Issue is related to QA process
• ctg-question

  Further information is requested
• ctg-refactoring

  Issue related to refactoring process
• dependencies

  Pull requests that update a dependency file
• java

  Pull requests that update java code
• lang-go

  Issue is related to Go support