Supports dynamic loading of built-in detectors, warning generation, and configurable
behavior for multi-project setups.
Adding a new built-in detector
To add a new built-in detector, create its implementation in the ./builtin
directory and add information about it to BuiltInDetectors. No other changes
in the project are needed.
Defines the base structure for Misti static analysis detectors, including AST, dataflow, and Soufflé-based detectors.
Supports dynamic loading of built-in detectors, warning generation, and configurable behavior for multi-project setups.
Adding a new built-in detector
To add a new built-in detector, create its implementation in the
./builtindirectory and add information about it toBuiltInDetectors. No other changes in the project are needed.