interprocedural analysis tools

Graham Jones <gxj@dcs.ed.ac.uk>
Sat, 10 Sep 1994 16:26:20 GMT

          From comp.compilers
Related articles
interprocedural analysis tools gxj@dcs.ed.ac.uk (Graham Jones) (1994-09-10)
| List of all articles for this month |
Newsgroups: comp.compilers
From: Graham Jones <gxj@dcs.ed.ac.uk>
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.