Dataflow commands needs implementation in ERESI language (def, use, reach)

Open thorkill opened this issue 9 years ago • 0 comments

Our dataflow commands needs to be implemented directly in the eresi language. Dataflow information about use/def chains should be computed using a deductive system on the model of hoare logic where annotations (based on "type" and "inform" commands) correspond to the structure passed from pre- to post- conditions.

Ticket: 41 Reported by: may on Fri Mar 7 10:20:20 2008

Apr 23 '16 20:04 thorkill