| commit | acd61984dfc9817fb5c5be6c0528c7c0014dc22a | [log] [tgz] |
|---|---|---|
| author | James Carter <jwcart2@tycho.nsa.gov> | Wed Apr 13 13:42:08 2016 -0400 |
| committer | James Carter <jwcart2@tycho.nsa.gov> | Wed Apr 13 15:13:41 2016 -0400 |
| tree | 40c05fbe74780fc099ff58e6707b824ff292bcd1 | |
| parent | a7604ba7eb0ce07977a6e6d05b6d00e208f57057 [diff] |
libsepol/cil: Cleanup neverallow checking and fail if bounds checking fails For both neverallow and bounds checking keep neverallow and bounds failures separate from program faults. Have secilc exit with an error (and fail to build a binary policy) when bounds checks fail. Signed-off-by: James Carter <jwcart2@tycho.nsa.gov>