help needed for CF and DF analysis

Shamihoke <shamihoke@my-deja.com>
21 Aug 1999 01:59:03 -0400

          From comp.compilers
Related articles
help needed for CF and DF analysis shamihoke@my-deja.com (Shamihoke) (1999-08-21)
| List of all articles for this month |
From: Shamihoke <shamihoke@my-deja.com>
Newsgroups: comp.compilers
Date: 21 Aug 1999 01:59:03 -0400
Organization: Deja.com - Share what you know. Learn what you don't.
Keywords: analysis, question

Dear netters:
Given a language X whose syntax is formally defined and semantics are
clearly understood and well-documented, the goal is to perform control
and data flow analysis of programs written in X.


Qn: what analysis can be done, given that the guiding objective is to
write safe programs in X.


1. Any (partial or fragmented ) answers are welcome.
2. More importantly, what do I need to know to answer this question and
any literature you can point me to where I can get that knowledge.


If it is of any use: X is a subset of C in this case.


Thanks in advance


Ravi
--
Ravi Shankar Shamihoke raviss@pune.tcs.co.in
Formal Methods Group
TRDDC,Pune www.pune.tcs.co.in
India

Post a followup to this message

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