Static analysis of Pascal programs.

Arndt.Jonasson@c3consult.comm.se (Arndt Jonasson)
Thu, 20 Feb 1992 10:12:54 GMT

          From comp.compilers

Related articles
Static analysis of Pascal programs. Arndt.Jonasson@c3consult.comm.se (1992-02-20)
| List of all articles for this month |

Newsgroups: comp.compilers,comp.software-eng.vms,comp.lang.pascal
From: Arndt.Jonasson@c3consult.comm.se (Arndt Jonasson)
Keywords: Pascal, analysis, question
Organization: Communicator C3Consult AB
Date: Thu, 20 Feb 1992 10:12:54 GMT

I'm looking for information on static analysis tools for Pascal. The
system of interest is VAX/VMS, but our software doesn't use most of
the extra features of VAX Pascal. Are you using a commercial tool? How
good is it? Are there public domain ones? Are there public domain
pieces from which one can build such a tool? (E.g. one could modify a
Pascal compiler or interpreter. Or convert Pascal to C, and use a
corresponding tool for C.)


The tool needs to at least be able to trace variables forward and
backward, i.e. where is X used, which other variables influence it,
is it used at all, in this procedure/module/whole program.


Thanks in advance for any information. Please mail, and I will post a
summary if there is interest.


--
Arndt Jonasson Communicator C3Consult AB
arndt@c3consult.comm.se
--


Post a followup to this message

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