Efficiently Retrieving Function Dependencies in the Linux Kernel Using XSB

Spyros Hadjichristodoulou, Donald E. Porter, David S. Warren

In this paper we investigate XSB-Prolog as a static analysis engine for data represented by medium-sized graphs. We use XSB-Prolog to automatically identify function dependencies i…