<?php
/** 
 * ZSTD compressor using FFI and libselinux
 * PoC, only for documentation purpose
 *
 * Copyright (c) 2019 Remi Collet
 * License: CC-BY-SA
 * http://creativecommons.org/licenses/by-sa/4.0/
 */
namespace Remi;

class SELinux {
	static private $ffi = null;

	private static function init() {
		if (self::$ffi) {
			return;
		}
		// Try if preloaded
		try {
			self::$ffi = \FFI::scope("_REMI_SELINUX_");
			echo "Using FFI::scope OK\n";
		} catch (\FFI\Exception $e) {
			// Try direct load
			self::$ffi = \FFI::load(__DIR__ . '/preload-selinux.h');
			echo "Using FFI::load OK\n";
		}
		if (!self::$ffi) {
			throw new \RuntimeException("FFI parse fails");
		}
	}

	public static function is_enabled(): bool {
		self::init();

		return (bool)self::$ffi->is_selinux_enabled();
	}

	public static function getenforce(): int {
		self::init();

		return self::$ffi->security_getenforce();
	}
}