home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / comp / software / 5418 < prev    next >
Encoding:
Internet Message Format  |  1993-01-23  |  1.2 KB
  1. Path: sparky!uunet!mcsun!uknet!dmu.ac.uk!grp
  2. From: grp@dmu.ac.uk (Graham Perkins)
  3. Newsgroups: comp.software-eng
  4. Subject: Re: Request Info: Code Analysis Tools
  5. Message-ID: <1993Jan22.132615.21770@dmu.ac.uk>
  6. Date: 22 Jan 93 13:26:15 GMT
  7. References: <1993Jan20.063605.29584@nuscc.nus.sg>
  8. Organization: De Montfort University, Leicester, UK.
  9. Lines: 16
  10.  
  11.  
  12. >I would appreciate pointers to software tools that perform low level program
  13. >analysis (on any procedural language).  I'm looking for something that I
  14. >can build on for further reverse engineering into the domain, so the
  15. >analysis data (eg. intermediate representation) should be accessible.
  16.  
  17. Try Mark Harman at School of Computing, University of North London,
  18. Holloway Road, London N7 8DB, U.K.  I think his username is 11HARMANM
  19. but if not you can mail 11DANICICS (sebastian), and ask him to forward
  20. any messages.  The JANET address is UK.AC.UNL.CLSTR
  21.  
  22. Mark has just finished a PhD in which he looked at ripping up Pascal
  23. programs, building functional equivalents, reasoning about modularity
  24. and correctness, and then rebuilding "better" Pascal programs.
  25. He has some software that may help, and if not he will certainly know
  26. of others.
  27.