Skip to main content
Version: 1.1.0

Config Checks between Markers

[EXPERIMENTAL] Collects config checks between marker start and end.

Activate with --config-checks-between-markers.

Supported languages:

  • C/C++/ObjC: Experimental
  • Java: Experimental
  • C#/.Net: Experimental

This checker collects config checkings in some program regions determined by pairs of marker-starts and marker-ends. The set of config checking functions, marker-start functions, and marker-end functions is hardcoded and empty by default for now, so to use this checker, please modify the code directly in FbGKInteraction.ml.

List of Issue Types#

The following issue types are reported by this checker: