A tool for detecting likely dead code in compiled Logtalk entities and Prolog modules compiled as objects.
(no dependencies on other entities)
Scans a loaded entity for dead code. Fails if the entity does not exist.
Scans all entities in a loaded source file for dead code. The file can be given by name, basename, full path, or using library notation. Fails if the file is not loaded.
Scans all entities in all loaded files from a given directory for dead code.
Scans all entities in all loaded files from a given directory and its sub-directories for dead code.
Scans all entities in all loaded files from a given library for dead code.
Scans all entities in all loaded files in a loaded library and its sub-libraries for dead code.
Scans all entities for dead code.
Returns an ordered set of local predicates (and non-terminals) that are not used, directly or indirectly, by scoped predicates for a loaded entity.
Enumerates, by backtracking, local predicates (and non-terminals) that are not used, directly or indirectly, by scoped predicates for a loaded entity.
Dead code: A predicate or non-terminal that is not called (directly or indirectly) by any scoped predicate or non-terminal. These predicates and non-terminals are not used, cannot be called without breaking encapsulation, and are thus considered dead code.
Known issues: Use of local meta-calls with goal arguments only know at runtime can result in false positives. Calls from non-standard meta-predicates may be missed if the meta-calls are not optimized.
Requirements: Source files must be compiled with the source_data flag turned on. To avoid false positives do to meta-calls, compilation of source files with the optimized flag turned on is also advised.