| Related articles |
|---|
| Looking for Dependency Analysis Tool for C grtmail@patmedia.net (2004-08-23) |
| Re: Looking for Dependency Analysis Tool for C nmm1@cus.cam.ac.uk (2004-08-25) |
| Re: Looking for Dependency Analysis Tool for C dnovillo@redhat.com (Diego Novillo) (2004-09-03) |
| Re: Looking for Dependency Analysis Tool for C nmm1@cus.cam.ac.uk (2004-09-07) |
| Re: Looking for Dependency Analysis Tool for C skaller@nospam.com.au (John Max Skaller) (2004-09-07) |
| Re: Looking for Dependency Analysis Tool for C dnovillo@redhat.com (Diego Novillo) (2004-09-08) |
| From: | "John Max Skaller" <skaller@nospam.com.au> |
| Newsgroups: | comp.compilers |
| Date: | 7 Sep 2004 23:53:04 -0400 |
| Organization: | Compilers Central |
| References: | 04-08-124 |
| Keywords: | analysis |
| Posted-Date: | 07 Sep 2004 23:53:04 EDT |
On Mon, 23 Aug 2004 12:11:36 -0400, Gerald wrote:
> I am looking for a tool that will take as input a C program
> 1) Convert the code to a single assignment form like SSA
[]
Try looking at CIL and CCured.
Return to the
comp.compilers page.
Search the
comp.compilers archives again.