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: