LDRA Testbed - analysis of CORAL 66

Peter Goulden <peter.goulden@gecm.com>
30 Jun 1997 23:08:11 -0400

          From comp.compilers

Related articles
LDRA Testbed - analysis of CORAL 66 peter.goulden@gecm.com (Peter Goulden) (1997-06-30)
| List of all articles for this month |

From: Peter Goulden <peter.goulden@gecm.com>
Newsgroups: comp.compilers
Date: 30 Jun 1997 23:08:11 -0400
Organization: Compilers Central
Keywords: tools, question

Has anybody encountered LDRA Testbed? If so, can they recommend it?
Any useful comments or pointers to reviews would be appreciated. I am
looking into the possibility of using it mainly for CORAL 66 on a
VAX/VMS but possibly also using it for C, C++ and Pascal on SunOS and
Windows. Are there any other tools which will do Static Analysis on
Coral 66?

Thanks in anticipation of any help.


Post a followup to this message

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