| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Tokstyle.C.Analysis.Known
Description
What the analysis knows about functions whose bodies it doesn't see.
Synopsis
- data Reach = Reach {
- reachParam :: Int
- reachLength :: Maybe (Int, Integer)
- reachConst :: Integer
- libraryReaches :: Map String [Reach]
- allocators :: Map String (Int, [Int])
- noReturn :: [String]
- harmless :: [String]
Documentation
How far a function can reach into the memory one of its pointer parameters points to: another parameter times a coefficient, if any, plus a constant.
Constructors
| Reach | |
Fields
| |
libraryReaches :: Map String [Reach] Source #
How far the library functions the program calls reach into the memory their pointer arguments point to.