symbx

From: Jan Staschulat (jans_at_ida.ing.tu-bs.de)
Date: Thu Feb 15 2001 - 14:58:21 GMT

• Next message: Russell Browne: "Re: A simple(?) #pragma question"
• Previous message: Ian Edwards: "RE: symbx"
• Next in thread: Ian Edwards: "RE: symbx"
• Reply: Ian Edwards: "RE: symbx"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]

To the creators of ups

subject: implementation details

We are using some parts of ups in a project, that evaluates
the execution time of a given C-program (called SYMTA):

http://www.ida.ing.tu-bs.de/projects/symta/overview.e.shtml

For the symbolic evaluation _symbx_ is used and a couple of other
source files. Since the project has been going on for a while
the source code is _somewhat_ unreadable.

Because the program package contains bugs I would like
to work myself into the subject, despite of being a newcomer
to the field of compiler implementation.

Could you give me some support on the implementation structure and
philosophy of the symbolic execution?
I found some docu already at:

http://www.concerto.demon.co.uk/UPS/porting.html


Thanks a lot

Jan Staschulat

• Next message: Russell Browne: "Re: A simple(?) #pragma question"
• Previous message: Ian Edwards: "RE: symbx"
• Next in thread: Ian Edwards: "RE: symbx"
• Reply: Ian Edwards: "RE: symbx"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]

This archive was generated by hypermail 2.1.4 : Wed Feb 13 2002 - 21:51:33 GMT