I just experienced a polymake segfault. The problem is that apps/polytope/src/lrs_interface.cc has this code on line 313:
Q=lrs_alloc_dat(0);
and here is a snippet from the lrslib code:
lrs_dat *
lrs_alloc_dat (char *name)
{
lrs_dat *Q;
...
Q->name=(char *) CALLOC ((unsigned) strlen(name)+1, sizeof (char));
...
}
Calling strlen(NULL) causes the segfault. I will attach a patch that fixes the problem.