RE: symbx

From: Ian Edwards (ian_at_concerto.demon.co.uk)
Date: Thu Feb 15 2001 - 17:03:31 GMT

• Next message: Jan Staschulat: "symbx"
• Previous message: Bob Carragher: "A simple(?) #pragma question"
• In reply to: Jan Staschulat: "symbx"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]

On 15-Feb-01 Jan Staschulat wrote:
> 
> 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

Hello Jan,

I have uploaded a document by Mark Russell about the linking and
relocation scheme used by the ups C interpreter :

http://www.concerto.demon.co.uk/UPS/linking.pdf

Regards,
Ian.


 -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
  E-mail: Ian Edwards <ian_at_concerto.demon.co.uk>
  Date:   15-Feb-01             Time:   17:03:31

  Early Music Record Labels    - http://www.recordlabels.org/
  'ups' debugger for C/C++/f77 - http://www.concerto.demon.co.uk/UPS/
 -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-

• Next message: Jan Staschulat: "symbx"
• Previous message: Bob Carragher: "A simple(?) #pragma question"
• In reply to: Jan Staschulat: "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