InterProcedural dataflow analysis (package level)

[bestchai]

Dataflow and control flow analysis should be done on the package level. The current system as of 22/08/2015 only handles single methods with no branching or looping statements.

##Tasks

• use Pack() and Unpack as anchors for dataflow analysis Documentation missing explanation of instrumenter.Initalize call #29
• preform dataflow analysis on all dump statements within a package instrumenter.Initalize missing from client/server in helloDinv #30
• implement a control flow logger for dynamic control flow analysis Documentation on how to run tests #31
• Instrument if statements with control flow logger use Pack() and Unpack() as anchors for dataflow analysis #33
• Instrument for loops with control flow logger control flow conditionl logger #34
• Instrument switch statements with control flow logger InterProcedural dataflow analysis (package level) #35

##limitations
This control control and dataflow model does not take into account the use of goto statements

[Issue created by wantonsolutions: 2015-08-21]