plai@ms.uky.edu (Paul Lai ) (12/07/90)
I don't know which group is appropriate, so apologies if I'm stepping on anyones's toes. Here goes nothing: program: xproof source: ftp'ed from expo.lcs.mit.edu:contrib/xproof.tar.Z patchlevel: 5 version: some files (version.c) say 3.36 system: Sun4/65 (Sparcstation) and Sequent Symmetry os: SunOS 4.1 and Dynix 3.0.17.9 (respectively) Problem Description: Xproof compiles fine, both gcc and /bin/cc work. Runtime is another story, dumps core on both machines. Dbx (after a compile with the -g option) on both machines say that the problem is in malloc(3), called by XtMalloc(?), called by GetDevInfo() in file getdevinfo.c with the message address out of bounds. The numbers passed from to XtMalloc look good and small (a couple of Kb). Right now I'm having a hard time believing that malloc(3) is returning something out of bounds, without something else going wrong before it. Problem is, what is that "something else"?