static dataflow anomaly analysis

krinke@ips.cs.tu-bs.de (Jens Krinke)
Mon, 18 Jan 1993 16:46:43 GMT

          From comp.compilers
Related articles
static dataflow anomaly analysis krinke@ips.cs.tu-bs.de (1993-01-18)
| List of all articles for this month |
Newsgroups: comp.compilers
From: krinke@ips.cs.tu-bs.de (Jens Krinke)
Organization: Inst. f. Informatik, TU Braunschweig, FRG
Date: Mon, 18 Jan 1993 16:46:43 GMT
Keywords: dataflow, AST, question

I am working on a technique to do static dataflow anomaly checks on
abstract syntax trees.


1. Has anybody did dataflow anomaly analysis on abstract syntax trees?
2. Can anybody give me some hints about (new) literature on dataflow anomaly
      analysis?


Especially the dynamic data structures (arrays, variants and pointers) are
full of troubles -- probably that's why I haven't found many articles
where static dataflow anomaly analysis was handling more then simple
types?


I would appreciate any answer.


Many Thanks


Jens Krinke
krinke@ips.cs.tu-bs.de
--

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.