Policy checker: initial version 37/182737/2
authorAleksy Barcz <a.barcz@partner.samsung.com>
Mon, 25 Jun 2018 14:27:38 +0000 (16:27 +0200)
committerAdrian Szyndela <adrian.s@samsung.com>
Thu, 28 Jun 2018 12:03:02 +0000 (14:03 +0200)
commitdf5a8ce5c27058e2878c473b1fee5f7a4e22989d
tree4b7b7acadea4a26c6f3b854d16490db8d18cf9a8
parentf03744997d27e4fe5657b5e3b336ffed622772db
Policy checker: initial version

Policy checker is based on Schematron, which allows writing
declarative checks for xml files (see rules.xml file for details) and
yields xml output (which is converted to plain text for readability, but it
can be converted to any format). The checker is a shell script, it
depends only on xsltproc (libxslt-tools package in Tizen), so it's very
lightweight.

We can run the checker on any single dbus configuration file, e.g.:
./check ./test-policy.conf (a test policy containing violations of all
the implemented rules). So, during a package installation we can run
the checker on it's dbus configuration file.

Change-Id: I523b7a730fc93a0d4f99bc8ba750be7b6f0e051c
24 files changed:
policychecker/README [new file with mode: 0644]
policychecker/check [new file with mode: 0755]
policychecker/extract_privilege.xsl [new file with mode: 0644]
policychecker/get_privileges [new file with mode: 0755]
policychecker/report.xsl [new file with mode: 0644]
policychecker/rules.xsl [new file with mode: 0644]
policychecker/same.xsl [new file with mode: 0644]
policychecker/test-policy.conf [new file with mode: 0644]
policychecker/xslt/iso_abstract_expand.xsl [new file with mode: 0644]
policychecker/xslt/iso_dsdl_include.xsl [new file with mode: 0644]
policychecker/xslt/iso_schematron_message.xsl [new file with mode: 0644]
policychecker/xslt/iso_schematron_message_xslt2.xsl [new file with mode: 0644]
policychecker/xslt/iso_schematron_skeleton_for_saxon.xsl [new file with mode: 0644]
policychecker/xslt/iso_schematron_skeleton_for_xslt1.xsl [new file with mode: 0644]
policychecker/xslt/iso_svrl_for_xslt1.xsl [new file with mode: 0644]
policychecker/xslt/iso_svrl_for_xslt2.xsl [new file with mode: 0644]
policychecker/xslt/readme.txt [new file with mode: 0644]
policychecker/xslt/sch-messages-cs.xhtml [new file with mode: 0644]
policychecker/xslt/sch-messages-de.xhtml [new file with mode: 0644]
policychecker/xslt/sch-messages-en.xhtml [new file with mode: 0644]
policychecker/xslt/sch-messages-fr.xhtml [new file with mode: 0644]
policychecker/xslt/sch-messages-ja.xhtml [new file with mode: 0755]
policychecker/xslt/sch-messages-nl.xhtml [new file with mode: 0644]
policychecker/xslt/schematron-skeleton-api.htm [new file with mode: 0644]