Labels

• comp-cli

  Issue related to CLI

  1 open pull requests1 open pull requests

  7 open issues7 open issues
• comp-codegen

  Issue is related to code generator

  1 open pull requests1 open pull requests

  75 open issues75 open issues
• comp-contest-estimator

  Issue is related to contest estimator

  1 open pull requests1 open pull requests

  25 open issues25 open issues
• comp-fuzzing

  Issue is related to the fuzzing

  2 open pull requests2 open pull requests

  29 open issues29 open issues
• comp-github-action

  GitHub action, gradle plugin or maven plugin

  1 open pull requests1 open pull requests
• comp-ide

  Issue is related to IDE support

  7 open issues7 open issues
• comp-infrastructure

  Infrastructure issues

  1 open pull requests1 open pull requests

  11 open issues11 open issues
• comp-instrumented-process

  Issue is related to Instrumented process

  3 open pull requests3 open pull requests

  21 open issues21 open issues
• comp-logging

  Issue is related to Logging

  1 open issues1 open issues
• comp-minimizer

  Issue is related to Minimization phase

  4 open issues4 open issues
• comp-rd

  Issue is related RD

  2 open issues2 open issues
• comp-rider-plugin

  Rider C# plugin relates issues

  11 open issues11 open issues
• comp-sandboxing

  Issue is related to sandboxing unpermitted operations by Java Security Manager

  3 open issues3 open issues
• comp-sarif

  Issue is related to SARIF report or Problems tab

  7 open issues7 open issues
• comp-settings

  Issue is related to settings

  2 open issues2 open issues
• comp-spring

  Issue is related to Spring projects support

  36 open issues36 open issues
• comp-summaries

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

  22 open issues22 open issues
• comp-symbolic-engine

  Issue is related to the symbolic execution engine

  2 open pull requests2 open pull requests

  85 open issues85 open issues
• comp-taint-analysis

  1 open pull requests1 open pull requests

  2 open issues2 open issues
• comp-ui

  Improvements of plugin UI appearence and functionality

  10 open issues10 open issues
• ctg-bug

  Issue is a bug

  251 open issues251 open issues
• ctg-bug-fix

  PR is fixing a bug

  1 open pull requests1 open pull requests
• ctg-documentation

  Improvements or additions to documentation

  2 open pull requests2 open pull requests

  4 open issues4 open issues
• ctg-enhancement

  New feature, improvement or change request

  9 open pull requests9 open pull requests

  99 open issues99 open issues
• ctg-qa

  Issue is related to QA process

  1 open issues1 open issues
• ctg-question

  Further information is requested

  6 open issues6 open issues
• ctg-refactoring

  Issue related to refactoring process

  1 open pull requests1 open pull requests

  14 open issues14 open issues
• lang-go

  Issue is related to Go support

  4 open issues4 open issues
• lang-java

  Issue is related to Java support

  23 open issues23 open issues
• lang-javascript

  Issue is related to JavaScript support

  1 open pull requests1 open pull requests

  7 open issues7 open issues