Security-enhanced linux is a patch of the linux kernel and a number of utilities with enhanced security functionality designed to add mandatory access controls to linux. this is the setools policy analysis library.