Externally referenced interfaces of a program are statically detected. The
static detection of the externally referenced interfaces is performed
prior to runtime and without the source code of the program. Input to the
static detection is the compiled output of the program, and the output is
a list of the externally referenced interfaces of the program.