Labels

• comp-cli

  comp-cli

  Issue related to CLI

• comp-codegen

  comp-codegen

  Issue is related to code generator

• comp-contest-estimator

  comp-contest-estimator

  Issue is related to contest estimator

• comp-fuzzing

  comp-fuzzing

  Issue is related to the fuzzing

• comp-github-action

  comp-github-action

  GitHub action, gradle plugin or maven plugin

• comp-ide

  comp-ide

  Issue is related to IDE support

• comp-infrastructure

  comp-infrastructure

  Infrastructure issues

• comp-instrumented-process

  comp-instrumented-process

  Issue is related to Instrumented process

• comp-logging

  comp-logging

  Issue is related to Logging

• comp-minimizer

  comp-minimizer

  Issue is related to Minimization phase

• comp-rd

  comp-rd

  Issue is related RD

• comp-rider-plugin

  comp-rider-plugin

  Rider C# plugin relates issues

• comp-sandboxing

  comp-sandboxing

  Issue is related to sandboxing unpermitted operations by Java Security Manager

• comp-sarif

  comp-sarif

  Issue is related to SARIF report or Problems tab

• comp-settings

  comp-settings

  Issue is related to settings

• comp-spring

  comp-spring

  Issue is related to Spring projects support

• comp-summaries

  comp-summaries

  Something related to the method names, code comments and display names generation

• comp-symbolic-engine

  comp-symbolic-engine

  Issue is related to the symbolic execution engine

• comp-taint-analysis

  comp-taint-analysis

• comp-ui

  comp-ui

  Improvements of plugin UI appearence and functionality

• ctg-bug

  ctg-bug

  Issue is a bug

• ctg-bug-fix

  ctg-bug-fix

  PR is fixing a bug

• ctg-documentation

  ctg-documentation

  Improvements or additions to documentation

• ctg-enhancement

  ctg-enhancement

  New feature, improvement or change request

• ctg-qa

  ctg-qa

  Issue is related to QA process

• ctg-question

  ctg-question

  Further information is requested

• ctg-refactoring

  ctg-refactoring

  Issue related to refactoring process

• dependencies

  dependencies

  Pull requests that update a dependency file

• java

  java

  Pull requests that update java code

• lang-go

  lang-go

  Issue is related to Go support