21 Aug 1999 01:59:03 -0400

Related articles |
---|

help needed for CF and DF analysis shamihoke@my-deja.com (Shamihoke) (1999-08-21) |

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.