ahhhhhhhhhhhhh. oh yeah, don't use the generic exception handler in g++.....
They say public journals are often used as a cry for help:
SIGSEVs in malloc????
lots of memory, try efence.... efence: no complains. (segfault)
string is a const char * to a str literal... trying to strdup a string.... (gdp) print string $1 = "yey" (gdp) print strlen(string) <!!boom!!>this is like beating your head against glibC untill it bleeds bits....
i wonder what happens on solaris...
Program received signal SIGSEGV, Segmentation fault. 0x400cec62 in chunk_alloc (ar_ptr=0x40163040, nb=16) at malloc.c:2811 2811 malloc.c: No such file or directory. (gdb) bt #0 0x400cec62 in chunk_alloc (ar_ptr=0x40163040, nb=16) at malloc.c:2811 #1 0x400ce40a in __libc_malloc (bytes=8) at malloc.c:2643 #2 0x40048006 in __builtin_new (sz=8) from /usr/lib/libstdc++-libc6.1-1.so.2 #3 0x400481dc in __builtin_vec_new (sz=8) from /usr/lib/libstdc++-libc6.1-1.so.2 #4 0x804d408 in Duplicate_str (str=0xbffffa08 "nisowen") at duplicate_str.cpp:41 #5 0x804ef5b in Bulk_Mail::Bulk_mail_entry::Bulk_mail_entry (this=0x8056ed0,how on earth are you supposed to debug that????? same happens with strdup...
got a 1st in my degree, which is good i think. going to spend some time in southampton/bath, will help getting gote nice (promise).
going to write up my project for publication in IEEE s/w engineering.
Hmm bulk of core translation cludge is finished, (mostly buggy but i'll sort that tommorow)
Working on stuff to let you implicitly translate java runtime classes into promela using an XML..
it is really difficult to embed java/c language in xml without lots of entity translation.. ug.. currently i am on: <JAVABODY>[CDATA[ java.foo.bar ]]</JAVABODY> Seems the best way to have unmodified code (except for arrays inside arrays) preserving xml structural integrity.
should finish xml parser (weak,independant sax parser) in a few hours, then the generater for that, then onto embedded annotations (YACC hacking- easier than xml (surprisingly enough)(yay)) then i need to handle non-deterministic expressions (eek) and then the backend (easy (i hope))
all this by tommorow.
Keep up with the latest Advogato features by reading the Advogato status blog.