|help needed for CF and DF analysis firstname.lastname@example.org (Shamihoke) (1999-08-21)|
|Date:||21 Aug 1999 01:59:03 -0400|
|Organization:||Deja.com - Share what you know. Learn what you don't.|
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 Shankar Shamihoke email@example.com
Formal Methods Group
Return to the
Search the comp.compilers archives again.