Labels

• area:config

  Configuration and CLI
• area:detectors

  Related to existing detectors
• area:ir

  Everything related to the IR and corresponding internals
• area:souffle

  Soufflé module
• area:tools

  Internal tools available for the user
• area:warnings

  Related to how Misti processes and emits detector warnings
• blocked
• bug

  Something isn't working
• dependencies

  Pull requests that update a dependency file
• documentation

  Improvements or additions to documentation
• enhancement

  New feature or request
• false negative
• false positive
• github_actions

  Pull requests that update GitHub Actions code
• good first issue

  Good for newcomers
• infrastructure

  All the things related to infrastructure, CI, dependencies
• new detector
• refactor
• tests

  Tests of the analyzer
• tracking issue
• triage