Implement initial version of inter-procedural analysis

[X-czh]

We've already finished Assign Flow Function.

Implement in intra-procedural analysis:

• [x] Call Flow Function @X-czh
• [x] Return Flow Function @zjzijielu

and

• [x] Inter-procedural analysis driver @X-czh

The target is to have a working initial version of inter-procedural analysis that passes a set of toy unit tests by the end of this week.

[X-czh]

This slide serves as a reference for the implementation.

[tianyin]

I will be REALLY interested to see how the inter-proc analysis is done.

[X-czh]

I will be REALLY interested to see how the inter-proc analysis is done.

The basic design is described in the slide given above. The implementation at current stage is still quite buggy though.

[tianyin]

The implementation at current stage is still quite buggy though

That's what I meant -- Inter-proc analysis is known to be conceptually simple, but really challenging to get right.

[X-czh]

Inter-proc analysis is known to be conceptually simple, but really challenging to get right.

That's so true LOL