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