Safe Haskell	None

LLVM.Analysis.PointsTo.AllocatorProfile

Description

This module defines a number of allocation profiles that are meant to be inputs to the points-to analyses. These profiles identify the set of instructions that allocate *fresh* memory locations (e.g., malloc).

Different profiles are useful for different languages or setups. The points-to analyses take lists of these functions so they can be combined arbitrarily (and augmented with user-provided versions).

Synopsis

Documentation

standardCProfile :: Instruction -> Bool Source

This profile corresponds to the standard C library and marks malloc, calloc, and alloca as allocators. realloc is not always an allocator (since it could return existing memory), so it is not included.

This function returns True if the given instruction must be a call to a standard C library allocation function.