A series of patches to fix bugs found by Nicolas Looss while fuzzing
secilc with AFL.

James Carter (7):
  libsepol/cil: Check for improper category range
  libsepol/cil: Use empty list for category expression evaluated as
  libsepol/cil: Use an empty list to represent an unknown permission
  libsepol/cil: Check if identifier is NULL when verifying name
  libsepol/cil: Check that permission is not an empty list
  libsepol/cil: Verify alias in aliasactual statement is really an alias
  libsepol/cil: Verify neither child nor parent in a bounds is an

 libsepol/cil/src/cil_build_ast.c   |  7 +++++
 libsepol/cil/src/cil_post.c        | 13 ++++----
 libsepol/cil/src/cil_resolve_ast.c | 61 +++++++++++++++++++-------------------
 libsepol/cil/src/cil_verify.c      |  8 ++++-
 4 files changed, 51 insertions(+), 38 deletions(-)


Selinux mailing list
To unsubscribe, send email to selinux-le...@tycho.nsa.gov.
To get help, send an email containing "help" to selinux-requ...@tycho.nsa.gov.

Reply via email to