AbstractGets the short identifier of the detector, used in analyzer warnings.
The unique identifier of the detector.
Gets the kind of the detector.
Defines the behavior of warnings generated by this detector when working with multiple projects within a single Tact configuration.
Here are the available options:
"union"
Leave this value if you don't care about warnings generated in other projects."intersect"
If the warning is generated for some source location of the imported file,
it should be generated by each of the projects. Example: Constants from an
imported file should not be reported iff they are unused in all the projects,
so you need "intersect".Checks whether this detector needs the Soufflé binary to be executed.
AbstractcheckExecutes the detector's logic to check for issues within the provided compilation unit.
The compilation unit to be analyzed.
List of warnings has highlighted by this detector.
ProtectedcreateCreates a Soufflé context with unique name.
A comment introduced on the top of the generated program if ctx.config.souffleVerbose is set.
It should be used to avoid name clashes in the Soufflé directory when working with multiple projects.
ProtectedexecuteExecutes Souffle program for this detector converting output facts to warnings.
Souffle context with all the declarations, rules and facts added.
A function that creates warnings from output facts.
ProtectedmakeA wrapper method that creates Misti warnings with additional context about the detector generated it.
Protectedskip
Abstract class for Souffle-based detectors that implement Datalog-based analyses.