Uses of Interface
dev.civl.mc.model.IF.statement.MallocStatement

Packages that use MallocStatement

Package	Description
dev.civl.mc.model.IF	Module model defines a static model, i.e., the control flow graph, representation of a CIVL-C program.
dev.civl.mc.model.IF.type	Submodule model.type defines types in CIVL.

Uses of MallocStatement in dev.civl.mc.model.IF

Methods in dev.civl.mc.model.IF that return MallocStatement

Modifier and Type	Method	Description
MallocStatement	Model.getMalloc(int index)
MallocStatement	ModelFactory.mallocStatement(CIVLSource civlSource, Location source, LHSExpression lhs, CIVLType staticElementType, Expression scopeExpression, Expression sizeExpression, int mallocId, Expression guard)	Create a new malloc statement

Method parameters in dev.civl.mc.model.IF with type arguments of type MallocStatement

Modifier and Type	Method	Description
void	CIVLTypeFactory.completeHeapType(CIVLHeapType heapType, Collection<MallocStatement> mallocs)	Completes the heap type.

Uses of MallocStatement in dev.civl.mc.model.IF.type

Methods in dev.civl.mc.model.IF.type that return MallocStatement

Modifier and Type	Method	Description
MallocStatement	CIVLHeapType.getMalloc(int index)

Method parameters in dev.civl.mc.model.IF.type with type arguments of type MallocStatement

Modifier and Type	Method	Description
void	CIVLHeapType.complete(Collection<MallocStatement> mallocs, dev.civl.sarl.IF.type.SymbolicType dynamicType, dev.civl.sarl.IF.expr.SymbolicExpression initialValue, dev.civl.sarl.IF.expr.SymbolicExpression undefinedValue)