| //===- convert.h - Promote unsafe alloca instructions to heap allocations ----// |
| // |
| // The SAFECode Compiler |
| // |
| // This file was developed by the LLVM research group and is distributed under |
| // the University of Illinois Open Source License. See LICENSE.TXT for details. |
| // |
| //===----------------------------------------------------------------------===// |
| // |
| // This file implements a pass that promotes unsafe stack allocations to heap |
| // allocations. It also updates the pointer analysis results accordingly. |
| // |
| // This pass relies upon the abcpre, abc, and checkstack safety passes. |
| // |
| //===----------------------------------------------------------------------===// |
| |
| #ifndef SAFECODE_INITALLOCAS_H |
| #define SAFECODE_INITALLOCAS_H |
| |
| #include "llvm/Pass.h" |
| #include "llvm/InstVisitor.h" |
| #include "llvm/IR/DataLayout.h" |
| |
| namespace llvm { |
| |
| // |
| // Pass: InitAllocas |
| // |
| // Description: |
| // This pass ensures that uninitialized pointers within stack allocated |
| // (i.e., alloca'ed) memory cannot be dereferenced to cause a memory error. |
| // This can be done either by promoting the stack allocation to a heap |
| // allocation (since the heap allocator must provide similar protection for |
| // heap allocated memory) or be inserting special initialization code. |
| // |
| struct InitAllocas : public FunctionPass, InstVisitor<InitAllocas> { |
| public: |
| static char ID; |
| InitAllocas() : FunctionPass(ID) {} |
| const char *getPassName() const { return "Init Alloca Pass"; } |
| virtual bool runOnFunction (Function &F); |
| bool doInitialization (Module & M); |
| virtual void getAnalysisUsage(AnalysisUsage &AU) const { |
| AU.addRequired<DataLayout>(); |
| AU.setPreservesCFG(); |
| } |
| void visitAllocaInst (AllocaInst & AI); |
| }; |
| |
| } |
| |
| #endif |