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
empty
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
attribute
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(-)
--
2.7.4
_______________________________________________
Selinux mailing list
Selinux@xxxxxxxxxxxxx
To unsubscribe, send email to Selinux-leave@xxxxxxxxxxxxx.
To get help, send an email containing "help" to Selinux-request@xxxxxxxxxxxxx.
