Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
libsepol/cil: Check datum in ordered list for expected flavor
The secilc-fuzzer found an out of bounds memory access occurs when building the binary policy if a map class is included in a classorder statement. The order statements in CIL (sidorder, classorder, categoryorder, and sensitivityorder) are used to specify an ordering for sids, classes, categories, and sensitivities. When the order statments are resolved and merged, only in the case of the category order list is the datum resolved checked to see if it is the expected flavor. When resolving the sid, class, and sensitivity order statements, check that each name resolved to a datum of the expected flavor and return an error if it does not. Signed-off-by: James Carter <jwcart2@gmail.com>
- Loading branch information