1255e72915d4cbddceb435e13d81601755714e9fSE Androidclass security 2255e72915d4cbddceb435e13d81601755714e9fSE Androidclass file 3255e72915d4cbddceb435e13d81601755714e9fSE Android 4255e72915d4cbddceb435e13d81601755714e9fSE Androidsid kernel 5255e72915d4cbddceb435e13d81601755714e9fSE Android 6255e72915d4cbddceb435e13d81601755714e9fSE Androidcommon file 7255e72915d4cbddceb435e13d81601755714e9fSE Android{ 8255e72915d4cbddceb435e13d81601755714e9fSE Android read 9255e72915d4cbddceb435e13d81601755714e9fSE Android} 10255e72915d4cbddceb435e13d81601755714e9fSE Android 11255e72915d4cbddceb435e13d81601755714e9fSE Androidclass file 12255e72915d4cbddceb435e13d81601755714e9fSE Androidinherits file 13255e72915d4cbddceb435e13d81601755714e9fSE Android{ 14255e72915d4cbddceb435e13d81601755714e9fSE Android entrypoint 15255e72915d4cbddceb435e13d81601755714e9fSE Android} 16255e72915d4cbddceb435e13d81601755714e9fSE Android 17255e72915d4cbddceb435e13d81601755714e9fSE Androidclass security 18255e72915d4cbddceb435e13d81601755714e9fSE Android{ 19255e72915d4cbddceb435e13d81601755714e9fSE Android compute_av 20255e72915d4cbddceb435e13d81601755714e9fSE Android} 21255e72915d4cbddceb435e13d81601755714e9fSE Android 22255e72915d4cbddceb435e13d81601755714e9fSE Androidifdef(`enable_mls',` 23255e72915d4cbddceb435e13d81601755714e9fSE Androidsensitivity s0; 24255e72915d4cbddceb435e13d81601755714e9fSE Android 25255e72915d4cbddceb435e13d81601755714e9fSE Androiddominance { s0 } 26255e72915d4cbddceb435e13d81601755714e9fSE Android 27255e72915d4cbddceb435e13d81601755714e9fSE Androidcategory c0; 28255e72915d4cbddceb435e13d81601755714e9fSE Android 29255e72915d4cbddceb435e13d81601755714e9fSE Androidlevel s0:c0; 30255e72915d4cbddceb435e13d81601755714e9fSE Android 31255e72915d4cbddceb435e13d81601755714e9fSE Androidmlsconstrain file { read } 32255e72915d4cbddceb435e13d81601755714e9fSE Android ( h1 dom h2 ); 33255e72915d4cbddceb435e13d81601755714e9fSE Android') 34255e72915d4cbddceb435e13d81601755714e9fSE Android 35255e72915d4cbddceb435e13d81601755714e9fSE Androidattribute myattr; 36255e72915d4cbddceb435e13d81601755714e9fSE Androidtype mytype_t; 37255e72915d4cbddceb435e13d81601755714e9fSE Androidrole myrole_r types mytype_t; 38255e72915d4cbddceb435e13d81601755714e9fSE Androidbool mybool true; 39255e72915d4cbddceb435e13d81601755714e9fSE Androidgen_user(myuser_u,, myrole_r, s0, s0 - s0:c0) 40255e72915d4cbddceb435e13d81601755714e9fSE Android 41255e72915d4cbddceb435e13d81601755714e9fSE Androidsid kernel gen_context(myuser_u:myrole_r:mytype_t, s0) 42255e72915d4cbddceb435e13d81601755714e9fSE Android 43255e72915d4cbddceb435e13d81601755714e9fSE Android 44