Module Analysis.UnsafeModule

An analysis which returns information whether a module is unsafe, i.e., it imports directly or indirectly the module Unsafe.

Author: Michael Hanus

Version: June 2018

Summary of exported operations:

unsafeModuleAnalysis
                  ::  Analysis [String]

This analysis associates to a module the list of the names of all modules which directly imports the module Unsafe.

showUnsafe
                  ::  AOutFormat -> [String] -> String

Exported operations:

unsafeModuleAnalysis :: Analysis [String]

This analysis associates to a module the list of the names of all modules which directly imports the module Unsafe. Such modules might hide dangerous operations in purely functional operations. Thus, a module is safe if the analysis result is the empty list.

showUnsafe :: AOutFormat -> [String] -> String