UnsafeModule.md 488 Bytes
Newer Older
Michael Hanus's avatar
Michael Hanus committed
1
2
3
4
5
6
7
8
9
10
11
Analyzing module for importing `Unsafe` module
----------------------------------------------

The `UnsafeModule` analysis returns information whether a module is unsafe,
i.e., it imports directly or indirectly the module `Unsafe`.
Such modules might hide dangerous operations in
purely functional operations.

The result of this analysis is the list of the names of all modules
which directly imports the module `Unsafe`.
Thus, a module is safe if the analysis result is the empty list.