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

Alexandre Rebert alexandre at cmu.edu
Wed Jun 26 17:39:39 UTC 2013


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



More information about the SELinux-devel mailing list