Created skeleton for the analysis pass
Started the CCured PointerAnalysis
Redid CCured analysis
Allowed anaylsis to work across function return boundary
CCured analysis now works across function parameter boundaries
The Bandage pass can now use the CCured analysis pass