[DSE-Dev] Bug report on checkpolicy: checkmodule crashes with exit status 139

[Alexandre Rebert]

Hi,

We found a crash in checkmodule contained in the checkpolicy package. You are being
contacted because your are listed as one of the maintainer of checkpolicy.

We are planning to submit the bug to the Debian bug tracking system in two
weeks. We wanted to give you a heads-up, so that you some time to assess the
seriousness of the bug before it is publicly disclosed.

The bug report that will be submitted to the bug tracker is available at the
following url:

  http://www.forallsecure.com/bug-reports/6d3c97ff3124ce7ee1b337b1ae97d894ceefb995/

This email is part of a mass bug reporting campain comprising 1,182 bugs. You
might have received multiple emails from us concerning different programs. More
information about the mass bug reporting is available on the debian-devel
mailing list:

  http://lists.debian.org/debian-devel/2013/06/msg00720.html

Regards,
The Mayhem Team
Cylab, Carnegie Mellon University