ALL-REAC0001 · evidence

This page continues ALL-REAC0001 directly from its source docstring. Read its implementation.

Evidence

Each finding names the declaration, its kind, and its declaring module. The value is the number of unreferenced public declarations.

Exceptions

Only a module-scope class or callable is judged, so a nested definition a caller passes as a value is left alone. A method is reached through a receiver whose type is often not stated and a property is read rather than called, so neither leaves an edge that could prove nothing reaches it. A module a test runner collects is skipped outright, because a runner reaches its tests by name and no call to them exists to find. A declaration a framework reaches by name, an entry point a packaging manifest lists, and a plugin a registry loads at runtime are all reached in ways no static graph sees. A public API that exists for downstream users is legitimately unreferenced inside its own repository, so a library excludes its published modules rather than deleting them.

References

• Cites “Vulture documentation”, dead code detection and its stated confidence limits. Open reference
• Cites Pylint W0238 unused-private-member. Open reference
• Cites “Refactoring”, remove dead code