I've attempted to reproduce this without success. I'm running Ubuntu
11.10 and had to install the hardening packages manually do there may be
some difference. I can't tell much from the backtrace because the
function names within the poly library aren't being shown. Could you
try rebuilding poly with
./configure --enable-debug --disable-shared
That might provide some more useful information.
Regards,
David
On 11/11/2011 12:03, Andreas Lochbihler wrote:
Hi,
I tried to build Isabelle 2011-1 with the repository version 1352 of
PolyML on Ubuntu 10.04 and x86_64. g++ seems to include its fortify
checks automatically in the compiled code. When I build Isabelle's Pure
session, it detects a buffer overrun and aborts PolyML. Is this a bug in
PolyML? Or does PolyML not work with Fortify? Or is it just a
misconfiguration on my side? If I disable fortify with
-D_FORTIFY_SOURCE=0 when compiling PolyML, everything works fine again.
At the end of this mail, I have included the stack trace and memory map
for the buffer overflow.
Best regards,
Andreas
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
