guarded-allocation: Memory allocation with added stress tests and integrity checks

[ bsd3, debug, library ] [ Propose Tags ] [ Report a vulnerability ]

Provide adaptions of mallocForeignPtrArray and allocaArray that add stress tests and integrity checks.

There are three modules:

Guarded.Plain: exports the original allocation routines
Guarded.Debug: exports allocation routines that add stress and checks
Guarded: exports either Guarded.Plain or Guarded.Debug depending on the Cabal debug flag.

It is intended that you always import the Guarded module in user code and install a package version with enabled debug flag to a custom package database for debugging. If you compile your user program you can choose production or debugging mode by choosing the default or the custom debugging package database, respectively.

This package is inspired by the famous Amiga debug tool MungWall. The Linux counterpart is Electric Fence.

[Skip to Readme]

Modules

[Index] [Quick Jump]

Foreign
- Marshal
  - Array
    - Foreign.Marshal.Array.Guarded
      - Foreign.Marshal.Array.Guarded.Debug
      - Foreign.Marshal.Array.Guarded.Plain

Flags

Manual Flags

Name	Description	Default
debug	Add stress tests and integrity checks to allocations	Disabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

guarded-allocation-0.0.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

HenningThielemann

For package maintainers and hackage trustees

edit package information

Candidates

0.0, 0.0.1

Versions [RSS]	0.0, 0.0.1
Dependencies	base (>=4.5 && <5) [details]
Tested with	ghc ==7.4.2, ghc ==7.8.4, ghc ==8.4.3
License	BSD-3-Clause
Author	Henning Thielemann <haskell@henning-thielemann.de>
Maintainer	Henning Thielemann <haskell@henning-thielemann.de>
Category	Debug
Home page	http://hub.darcs.net/thielema/guarded-allocation/
Source repo	this: darcs get http://hub.darcs.net/thielema/guarded-allocation/ --tag 0.1 head: darcs get http://hub.darcs.net/thielema/guarded-allocation/
Uploaded	by HenningThielemann at 2018-08-07T10:05:24Z
Distributions	LTSHaskell:0.0.1, NixOS:0.0.1, Stackage:0.0.1
Reverse Dependencies	5 direct, 22 indirect [details]
Downloads	2139 total (17 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs available [build log] Last success reported on 2018-08-07 [all 1 reports]

Readme for guarded-allocation-0.0

[back to package description]

The overall idea of the package is to make programming mistakes let low-level programs fail reproducibly.

What the routines do:

After allocation fill the memory with the hex string 0xDEADF00D. This allows to check whether the caller properly initialises allocated buffers.
Allocate some memory before and after the actual buffer and fill it with 0xABADCAFE. On deallocation it is checked that this pattern is still intact. If not, abort with an error. This allows to check for range violations.
Before deallocation fill the memory with 0xDEADBEEF. This helps to detect when the program reads memory after its deallocation.
The create routine additionally makes a copy of the initialized buffer. The finalizer compares the contents of the buffer and its copy. This way it can detect if an immutable array was altered after its creation.

Range violations might alternatively be detected by range checking techniques. Allocation problems might be solved using Regions. The provided functions might overlook range violations but they help detecting bugs when you have not full control over the code that processes memory content, e.g. when calling external routines via FFI.