To include a new analysis, add a clause for analyze/2 (and for analysis/1).
As an alternative, you can add clauses for the multifile predicates analysis/4 and analysis/1, directly in your own sources.
See the file examples/Extending/myanalyzer.pl in the source directory for an example of this.
Analyzes the current module with Analysis. If the intermod flag is not off, this predicate may call module/1.
ctcheck_sum(ok). ctcheck_sum(warning). ctcheck_sum(error).
Checks assertions w.r.t. analysis information. Upon success S is bound to: ok (the compile-time checking process has generated no error nor warning), warning (compile-time checking has not generated any error, but there has been at least one warning) or error (at least one error has been produced).
Checks assertions w.r.t. analysis information, obtains from domain/1 which analyses were run.
Checks assertions using the analysis information of AbsInt. The analysis must be present in CiaoPP (via analysis or restore dump).
If MaybeModList is the atom all, all modules in the current punit are considered. If it is a list of module names, only the assertions or predicates in those modules are checked.
Cleans all analysis info but keep the program as wether it would be just read.
Mode for setting the current flag to a single value.
Mode for setting the current flag to several values.
Performs Analysis on program Clauses.
Analysis is a valid analysis identifier.