interprocedural analysis tools

Graham Jones <>
Sat, 10 Sep 1994 16:26:20 GMT

          From comp.compilers

Related articles
interprocedural analysis tools (Graham Jones) (1994-09-10)
| List of all articles for this month |

Newsgroups: comp.compilers
From: Graham Jones <>
Keywords: tools, question
Organization: Department of Computer Science, University of Edinburgh
Date: Sat, 10 Sep 1994 16:26:20 GMT

Could people tell me their experiences (strengths, weaknesses) of using FIAT ?
Does anyone know of a site where the tool could be obtained ?
Does anyone know of similar inter-procedural tools ?

  Graham P. Jones
  Address: Room 3419,
The University Of Edinburgh,
Kings Buildings,
West Mains Road,
Edinburgh EH9 3JY
  Tel : 031-650-5118

Post a followup to this message

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