mirror of
https://github.com/SELinuxProject/setools
synced 2025-03-25 04:26:28 +00:00
apol: add domain transition analysis tab
This commit is contained in:
Chris PeBenito
parent
05c8cdd732
commit
cff5de89e6
815
data/dta.ui
Normal file
815
data/dta.ui
Normal file
@ -0,0 +1,815 @@
|
|||||||
|
<?xml version="1.0" encoding="UTF-8"?>
|
||||||
|
<ui version="4.0">
|
||||||
|
<class>TeRuleQueryTab</class>
|
||||||
|
<widget class="QScrollArea" name="TeRuleQueryTab">
|
||||||
|
<property name="geometry">
|
||||||
|
<rect>
|
||||||
|
<x>0</x>
|
||||||
|
<y>0</y>
|
||||||
|
<width>774</width>
|
||||||
|
<height>846</height>
|
||||||
|
</rect>
|
||||||
|
</property>
|
||||||
|
<property name="sizeAdjustPolicy">
|
||||||
|
<enum>QAbstractScrollArea::AdjustToContents</enum>
|
||||||
|
</property>
|
||||||
|
<property name="widgetResizable">
|
||||||
|
<bool>true</bool>
|
||||||
|
</property>
|
||||||
|
<widget class="QWidget" name="contents">
|
||||||
|
<property name="geometry">
|
||||||
|
<rect>
|
||||||
|
<x>0</x>
|
||||||
|
<y>0</y>
|
||||||
|
<width>772</width>
|
||||||
|
<height>844</height>
|
||||||
|
</rect>
|
||||||
|
</property>
|
||||||
|
<property name="minimumSize">
|
||||||
|
<size>
|
||||||
|
<width>0</width>
|
||||||
|
<height>0</height>
|
||||||
|
</size>
|
||||||
|
</property>
|
||||||
|
<layout class="QGridLayout" name="gridLayout_9">
|
||||||
|
<property name="leftMargin">
|
||||||
|
<number>6</number>
|
||||||
|
</property>
|
||||||
|
<property name="topMargin">
|
||||||
|
<number>6</number>
|
||||||
|
</property>
|
||||||
|
<property name="rightMargin">
|
||||||
|
<number>6</number>
|
||||||
|
</property>
|
||||||
|
<property name="bottomMargin">
|
||||||
|
<number>6</number>
|
||||||
|
</property>
|
||||||
|
<property name="spacing">
|
||||||
|
<number>3</number>
|
||||||
|
</property>
|
||||||
|
<item row="4" column="0" colspan="2">
|
||||||
|
<widget class="QToolBox" name="results_frame">
|
||||||
|
<property name="sizePolicy">
|
||||||
|
<sizepolicy hsizetype="Preferred" vsizetype="MinimumExpanding">
|
||||||
|
<horstretch>0</horstretch>
|
||||||
|
<verstretch>0</verstretch>
|
||||||
|
</sizepolicy>
|
||||||
|
</property>
|
||||||
|
<property name="frameShape">
|
||||||
|
<enum>QFrame::StyledPanel</enum>
|
||||||
|
</property>
|
||||||
|
<property name="currentIndex">
|
||||||
|
<number>1</number>
|
||||||
|
</property>
|
||||||
|
<property name="tabSpacing">
|
||||||
|
<number>0</number>
|
||||||
|
</property>
|
||||||
|
<widget class="QWidget" name="graphical_page">
|
||||||
|
<property name="geometry">
|
||||||
|
<rect>
|
||||||
|
<x>0</x>
|
||||||
|
<y>0</y>
|
||||||
|
<width>98</width>
|
||||||
|
<height>82</height>
|
||||||
|
</rect>
|
||||||
|
</property>
|
||||||
|
<attribute name="label">
|
||||||
|
<string>Graphical</string>
|
||||||
|
</attribute>
|
||||||
|
<layout class="QVBoxLayout" name="verticalLayout_3">
|
||||||
|
<property name="spacing">
|
||||||
|
<number>3</number>
|
||||||
|
</property>
|
||||||
|
<property name="leftMargin">
|
||||||
|
<number>6</number>
|
||||||
|
</property>
|
||||||
|
<property name="topMargin">
|
||||||
|
<number>6</number>
|
||||||
|
</property>
|
||||||
|
<property name="rightMargin">
|
||||||
|
<number>6</number>
|
||||||
|
</property>
|
||||||
|
<property name="bottomMargin">
|
||||||
|
<number>6</number>
|
||||||
|
</property>
|
||||||
|
<item>
|
||||||
|
<widget class="QTableView" name="table_results">
|
||||||
|
<property name="sizeAdjustPolicy">
|
||||||
|
<enum>QAbstractScrollArea::AdjustIgnored</enum>
|
||||||
|
</property>
|
||||||
|
<property name="alternatingRowColors">
|
||||||
|
<bool>true</bool>
|
||||||
|
</property>
|
||||||
|
<property name="sortingEnabled">
|
||||||
|
<bool>true</bool>
|
||||||
|
</property>
|
||||||
|
</widget>
|
||||||
|
</item>
|
||||||
|
</layout>
|
||||||
|
</widget>
|
||||||
|
<widget class="QWidget" name="raw_page">
|
||||||
|
<property name="geometry">
|
||||||
|
<rect>
|
||||||
|
<x>0</x>
|
||||||
|
<y>0</y>
|
||||||
|
<width>758</width>
|
||||||
|
<height>204</height>
|
||||||
|
</rect>
|
||||||
|
</property>
|
||||||
|
<attribute name="label">
|
||||||
|
<string>Raw</string>
|
||||||
|
</attribute>
|
||||||
|
<layout class="QVBoxLayout" name="verticalLayout_2">
|
||||||
|
<property name="spacing">
|
||||||
|
<number>3</number>
|
||||||
|
</property>
|
||||||
|
<property name="leftMargin">
|
||||||
|
<number>6</number>
|
||||||
|
</property>
|
||||||
|
<property name="topMargin">
|
||||||
|
<number>6</number>
|
||||||
|
</property>
|
||||||
|
<property name="rightMargin">
|
||||||
|
<number>6</number>
|
||||||
|
</property>
|
||||||
|
<property name="bottomMargin">
|
||||||
|
<number>6</number>
|
||||||
|
</property>
|
||||||
|
<item>
|
||||||
|
<widget class="QPlainTextEdit" name="raw_results">
|
||||||
|
<property name="minimumSize">
|
||||||
|
<size>
|
||||||
|
<width>0</width>
|
||||||
|
<height>0</height>
|
||||||
|
</size>
|
||||||
|
</property>
|
||||||
|
<property name="font">
|
||||||
|
<font>
|
||||||
|
<family>Monospace</family>
|
||||||
|
</font>
|
||||||
|
</property>
|
||||||
|
<property name="documentTitle">
|
||||||
|
<string/>
|
||||||
|
</property>
|
||||||
|
<property name="lineWrapMode">
|
||||||
|
<enum>QPlainTextEdit::NoWrap</enum>
|
||||||
|
</property>
|
||||||
|
<property name="readOnly">
|
||||||
|
<bool>true</bool>
|
||||||
|
</property>
|
||||||
|
</widget>
|
||||||
|
</item>
|
||||||
|
</layout>
|
||||||
|
</widget>
|
||||||
|
</widget>
|
||||||
|
</item>
|
||||||
|
<item row="5" column="0">
|
||||||
|
<widget class="QPushButton" name="notes_expander">
|
||||||
|
<property name="sizePolicy">
|
||||||
|
<sizepolicy hsizetype="Fixed" vsizetype="Fixed">
|
||||||
|
<horstretch>0</horstretch>
|
||||||
|
<verstretch>0</verstretch>
|
||||||
|
</sizepolicy>
|
||||||
|
</property>
|
||||||
|
<property name="minimumSize">
|
||||||
|
<size>
|
||||||
|
<width>16</width>
|
||||||
|
<height>16</height>
|
||||||
|
</size>
|
||||||
|
</property>
|
||||||
|
<property name="maximumSize">
|
||||||
|
<size>
|
||||||
|
<width>16</width>
|
||||||
|
<height>16</height>
|
||||||
|
</size>
|
||||||
|
</property>
|
||||||
|
<property name="focusPolicy">
|
||||||
|
<enum>Qt::TabFocus</enum>
|
||||||
|
</property>
|
||||||
|
<property name="styleSheet">
|
||||||
|
<string notr="true">QPushButton:flat { border: none; }</string>
|
||||||
|
</property>
|
||||||
|
<property name="text">
|
||||||
|
<string/>
|
||||||
|
</property>
|
||||||
|
<property name="icon">
|
||||||
|
<iconset>
|
||||||
|
<normaloff>icons/expand_inactive.png</normaloff>
|
||||||
|
<normalon>icons/expand_active.png</normalon>icons/expand_inactive.png</iconset>
|
||||||
|
</property>
|
||||||
|
<property name="iconSize">
|
||||||
|
<size>
|
||||||
|
<width>16</width>
|
||||||
|
<height>16</height>
|
||||||
|
</size>
|
||||||
|
</property>
|
||||||
|
<property name="checkable">
|
||||||
|
<bool>true</bool>
|
||||||
|
</property>
|
||||||
|
<property name="checked">
|
||||||
|
<bool>false</bool>
|
||||||
|
</property>
|
||||||
|
<property name="flat">
|
||||||
|
<bool>true</bool>
|
||||||
|
</property>
|
||||||
|
</widget>
|
||||||
|
</item>
|
||||||
|
<item row="3" column="0">
|
||||||
|
<widget class="QPushButton" name="results_expander">
|
||||||
|
<property name="sizePolicy">
|
||||||
|
<sizepolicy hsizetype="Fixed" vsizetype="Fixed">
|
||||||
|
<horstretch>0</horstretch>
|
||||||
|
<verstretch>0</verstretch>
|
||||||
|
</sizepolicy>
|
||||||
|
</property>
|
||||||
|
<property name="minimumSize">
|
||||||
|
<size>
|
||||||
|
<width>16</width>
|
||||||
|
<height>16</height>
|
||||||
|
</size>
|
||||||
|
</property>
|
||||||
|
<property name="maximumSize">
|
||||||
|
<size>
|
||||||
|
<width>16</width>
|
||||||
|
<height>16</height>
|
||||||
|
</size>
|
||||||
|
</property>
|
||||||
|
<property name="focusPolicy">
|
||||||
|
<enum>Qt::TabFocus</enum>
|
||||||
|
</property>
|
||||||
|
<property name="styleSheet">
|
||||||
|
<string notr="true">QPushButton:flat { border: none; }</string>
|
||||||
|
</property>
|
||||||
|
<property name="text">
|
||||||
|
<string/>
|
||||||
|
</property>
|
||||||
|
<property name="icon">
|
||||||
|
<iconset>
|
||||||
|
<normaloff>icons/expand_inactive.png</normaloff>
|
||||||
|
<normalon>icons/expand_active.png</normalon>icons/expand_inactive.png</iconset>
|
||||||
|
</property>
|
||||||
|
<property name="iconSize">
|
||||||
|
<size>
|
||||||
|
<width>16</width>
|
||||||
|
<height>16</height>
|
||||||
|
</size>
|
||||||
|
</property>
|
||||||
|
<property name="checkable">
|
||||||
|
<bool>true</bool>
|
||||||
|
</property>
|
||||||
|
<property name="checked">
|
||||||
|
<bool>true</bool>
|
||||||
|
</property>
|
||||||
|
<property name="flat">
|
||||||
|
<bool>true</bool>
|
||||||
|
</property>
|
||||||
|
</widget>
|
||||||
|
</item>
|
||||||
|
<item row="1" column="1">
|
||||||
|
<widget class="QLabel" name="label_2">
|
||||||
|
<property name="sizePolicy">
|
||||||
|
<sizepolicy hsizetype="Preferred" vsizetype="Fixed">
|
||||||
|
<horstretch>0</horstretch>
|
||||||
|
<verstretch>0</verstretch>
|
||||||
|
</sizepolicy>
|
||||||
|
</property>
|
||||||
|
<property name="font">
|
||||||
|
<font>
|
||||||
|
<weight>75</weight>
|
||||||
|
<bold>true</bold>
|
||||||
|
</font>
|
||||||
|
</property>
|
||||||
|
<property name="text">
|
||||||
|
<string>Criteria</string>
|
||||||
|
</property>
|
||||||
|
</widget>
|
||||||
|
</item>
|
||||||
|
<item row="3" column="1">
|
||||||
|
<widget class="QLabel" name="label_3">
|
||||||
|
<property name="sizePolicy">
|
||||||
|
<sizepolicy hsizetype="Preferred" vsizetype="Fixed">
|
||||||
|
<horstretch>0</horstretch>
|
||||||
|
<verstretch>0</verstretch>
|
||||||
|
</sizepolicy>
|
||||||
|
</property>
|
||||||
|
<property name="font">
|
||||||
|
<font>
|
||||||
|
<weight>75</weight>
|
||||||
|
<bold>true</bold>
|
||||||
|
</font>
|
||||||
|
</property>
|
||||||
|
<property name="text">
|
||||||
|
<string>Results</string>
|
||||||
|
</property>
|
||||||
|
</widget>
|
||||||
|
</item>
|
||||||
|
<item row="1" column="0">
|
||||||
|
<widget class="QPushButton" name="criteria_expander">
|
||||||
|
<property name="sizePolicy">
|
||||||
|
<sizepolicy hsizetype="Fixed" vsizetype="Fixed">
|
||||||
|
<horstretch>0</horstretch>
|
||||||
|
<verstretch>0</verstretch>
|
||||||
|
</sizepolicy>
|
||||||
|
</property>
|
||||||
|
<property name="minimumSize">
|
||||||
|
<size>
|
||||||
|
<width>16</width>
|
||||||
|
<height>16</height>
|
||||||
|
</size>
|
||||||
|
</property>
|
||||||
|
<property name="maximumSize">
|
||||||
|
<size>
|
||||||
|
<width>16</width>
|
||||||
|
<height>16</height>
|
||||||
|
</size>
|
||||||
|
</property>
|
||||||
|
<property name="focusPolicy">
|
||||||
|
<enum>Qt::TabFocus</enum>
|
||||||
|
</property>
|
||||||
|
<property name="styleSheet">
|
||||||
|
<string notr="true">QPushButton:flat { border: none; }</string>
|
||||||
|
</property>
|
||||||
|
<property name="text">
|
||||||
|
<string/>
|
||||||
|
</property>
|
||||||
|
<property name="icon">
|
||||||
|
<iconset>
|
||||||
|
<normaloff>icons/expand_inactive.png</normaloff>
|
||||||
|
<normalon>icons/expand_active.png</normalon>icons/expand_inactive.png</iconset>
|
||||||
|
</property>
|
||||||
|
<property name="iconSize">
|
||||||
|
<size>
|
||||||
|
<width>16</width>
|
||||||
|
<height>16</height>
|
||||||
|
</size>
|
||||||
|
</property>
|
||||||
|
<property name="checkable">
|
||||||
|
<bool>true</bool>
|
||||||
|
</property>
|
||||||
|
<property name="checked">
|
||||||
|
<bool>true</bool>
|
||||||
|
</property>
|
||||||
|
<property name="flat">
|
||||||
|
<bool>true</bool>
|
||||||
|
</property>
|
||||||
|
</widget>
|
||||||
|
</item>
|
||||||
|
<item row="5" column="1">
|
||||||
|
<widget class="QLabel" name="label_4">
|
||||||
|
<property name="sizePolicy">
|
||||||
|
<sizepolicy hsizetype="Preferred" vsizetype="Fixed">
|
||||||
|
<horstretch>0</horstretch>
|
||||||
|
<verstretch>0</verstretch>
|
||||||
|
</sizepolicy>
|
||||||
|
</property>
|
||||||
|
<property name="font">
|
||||||
|
<font>
|
||||||
|
<weight>75</weight>
|
||||||
|
<bold>true</bold>
|
||||||
|
</font>
|
||||||
|
</property>
|
||||||
|
<property name="text">
|
||||||
|
<string>Notes</string>
|
||||||
|
</property>
|
||||||
|
</widget>
|
||||||
|
</item>
|
||||||
|
<item row="6" column="0" colspan="2">
|
||||||
|
<widget class="QTextEdit" name="notes">
|
||||||
|
<property name="minimumSize">
|
||||||
|
<size>
|
||||||
|
<width>0</width>
|
||||||
|
<height>125</height>
|
||||||
|
</size>
|
||||||
|
</property>
|
||||||
|
<property name="toolTip">
|
||||||
|
<string>Optionally enter notes here about the query.</string>
|
||||||
|
</property>
|
||||||
|
</widget>
|
||||||
|
</item>
|
||||||
|
<item row="0" column="0" colspan="2">
|
||||||
|
<widget class="QLabel" name="label">
|
||||||
|
<property name="sizePolicy">
|
||||||
|
<sizepolicy hsizetype="Preferred" vsizetype="Fixed">
|
||||||
|
<horstretch>0</horstretch>
|
||||||
|
<verstretch>0</verstretch>
|
||||||
|
</sizepolicy>
|
||||||
|
</property>
|
||||||
|
<property name="maximumSize">
|
||||||
|
<size>
|
||||||
|
<width>16777215</width>
|
||||||
|
<height>20</height>
|
||||||
|
</size>
|
||||||
|
</property>
|
||||||
|
<property name="font">
|
||||||
|
<font>
|
||||||
|
<pointsize>11</pointsize>
|
||||||
|
<weight>75</weight>
|
||||||
|
<bold>true</bold>
|
||||||
|
</font>
|
||||||
|
</property>
|
||||||
|
<property name="text">
|
||||||
|
<string>Domain Transition Analysis</string>
|
||||||
|
</property>
|
||||||
|
</widget>
|
||||||
|
</item>
|
||||||
|
<item row="2" column="0" colspan="2">
|
||||||
|
<widget class="QFrame" name="criteria_frame">
|
||||||
|
<property name="maximumSize">
|
||||||
|
<size>
|
||||||
|
<width>16777215</width>
|
||||||
|
<height>16777215</height>
|
||||||
|
</size>
|
||||||
|
</property>
|
||||||
|
<property name="frameShape">
|
||||||
|
<enum>QFrame::StyledPanel</enum>
|
||||||
|
</property>
|
||||||
|
<property name="frameShadow">
|
||||||
|
<enum>QFrame::Raised</enum>
|
||||||
|
</property>
|
||||||
|
<layout class="QGridLayout" name="gridLayout_3">
|
||||||
|
<property name="leftMargin">
|
||||||
|
<number>6</number>
|
||||||
|
</property>
|
||||||
|
<property name="topMargin">
|
||||||
|
<number>6</number>
|
||||||
|
</property>
|
||||||
|
<property name="rightMargin">
|
||||||
|
<number>6</number>
|
||||||
|
</property>
|
||||||
|
<property name="bottomMargin">
|
||||||
|
<number>6</number>
|
||||||
|
</property>
|
||||||
|
<property name="spacing">
|
||||||
|
<number>3</number>
|
||||||
|
</property>
|
||||||
|
<item row="1" column="1">
|
||||||
|
<widget class="QGroupBox" name="groupBox_2">
|
||||||
|
<property name="title">
|
||||||
|
<string>Options</string>
|
||||||
|
</property>
|
||||||
|
<layout class="QFormLayout" name="formLayout">
|
||||||
|
<property name="horizontalSpacing">
|
||||||
|
<number>3</number>
|
||||||
|
</property>
|
||||||
|
<property name="verticalSpacing">
|
||||||
|
<number>3</number>
|
||||||
|
</property>
|
||||||
|
<property name="leftMargin">
|
||||||
|
<number>6</number>
|
||||||
|
</property>
|
||||||
|
<property name="topMargin">
|
||||||
|
<number>6</number>
|
||||||
|
</property>
|
||||||
|
<property name="rightMargin">
|
||||||
|
<number>6</number>
|
||||||
|
</property>
|
||||||
|
<property name="bottomMargin">
|
||||||
|
<number>6</number>
|
||||||
|
</property>
|
||||||
|
<item row="1" column="0">
|
||||||
|
<widget class="QLabel" name="label_7">
|
||||||
|
<property name="text">
|
||||||
|
<string>Limit results:</string>
|
||||||
|
</property>
|
||||||
|
</widget>
|
||||||
|
</item>
|
||||||
|
<item row="1" column="1">
|
||||||
|
<widget class="QSpinBox" name="limit_paths">
|
||||||
|
<property name="minimum">
|
||||||
|
<number>1</number>
|
||||||
|
</property>
|
||||||
|
<property name="maximum">
|
||||||
|
<number>1000</number>
|
||||||
|
</property>
|
||||||
|
<property name="value">
|
||||||
|
<number>20</number>
|
||||||
|
</property>
|
||||||
|
</widget>
|
||||||
|
</item>
|
||||||
|
<item row="2" column="0">
|
||||||
|
<widget class="QLabel" name="label_5">
|
||||||
|
<property name="text">
|
||||||
|
<string>Excluded Types:</string>
|
||||||
|
</property>
|
||||||
|
</widget>
|
||||||
|
</item>
|
||||||
|
<item row="2" column="1">
|
||||||
|
<widget class="QPushButton" name="exclude_types">
|
||||||
|
<property name="text">
|
||||||
|
<string>Edit...</string>
|
||||||
|
</property>
|
||||||
|
</widget>
|
||||||
|
</item>
|
||||||
|
<item row="0" column="0">
|
||||||
|
<widget class="QLabel" name="label_6">
|
||||||
|
<property name="text">
|
||||||
|
<string>Reverse:</string>
|
||||||
|
</property>
|
||||||
|
</widget>
|
||||||
|
</item>
|
||||||
|
<item row="0" column="1">
|
||||||
|
<widget class="QCheckBox" name="reverse">
|
||||||
|
<property name="toolTip">
|
||||||
|
<string>Analyze reverse (parent) domain transitions instead of forward (child) domain transitions.</string>
|
||||||
|
</property>
|
||||||
|
<property name="text">
|
||||||
|
<string/>
|
||||||
|
</property>
|
||||||
|
</widget>
|
||||||
|
</item>
|
||||||
|
</layout>
|
||||||
|
</widget>
|
||||||
|
</item>
|
||||||
|
<item row="0" column="2">
|
||||||
|
<widget class="QGroupBox" name="target_criteria">
|
||||||
|
<property name="maximumSize">
|
||||||
|
<size>
|
||||||
|
<width>16777215</width>
|
||||||
|
<height>100</height>
|
||||||
|
</size>
|
||||||
|
</property>
|
||||||
|
<property name="title">
|
||||||
|
<string>Target Domain</string>
|
||||||
|
</property>
|
||||||
|
<layout class="QGridLayout" name="gridLayout_5">
|
||||||
|
<property name="leftMargin">
|
||||||
|
<number>6</number>
|
||||||
|
</property>
|
||||||
|
<property name="topMargin">
|
||||||
|
<number>6</number>
|
||||||
|
</property>
|
||||||
|
<property name="rightMargin">
|
||||||
|
<number>6</number>
|
||||||
|
</property>
|
||||||
|
<property name="bottomMargin">
|
||||||
|
<number>6</number>
|
||||||
|
</property>
|
||||||
|
<property name="spacing">
|
||||||
|
<number>3</number>
|
||||||
|
</property>
|
||||||
|
<item row="0" column="2">
|
||||||
|
<spacer name="horizontalSpacer_3">
|
||||||
|
<property name="orientation">
|
||||||
|
<enum>Qt::Horizontal</enum>
|
||||||
|
</property>
|
||||||
|
<property name="sizeHint" stdset="0">
|
||||||
|
<size>
|
||||||
|
<width>40</width>
|
||||||
|
<height>20</height>
|
||||||
|
</size>
|
||||||
|
</property>
|
||||||
|
</spacer>
|
||||||
|
</item>
|
||||||
|
<item row="0" column="1">
|
||||||
|
<widget class="QLineEdit" name="target">
|
||||||
|
<property name="sizePolicy">
|
||||||
|
<sizepolicy hsizetype="Expanding" vsizetype="Fixed">
|
||||||
|
<horstretch>0</horstretch>
|
||||||
|
<verstretch>0</verstretch>
|
||||||
|
</sizepolicy>
|
||||||
|
</property>
|
||||||
|
<property name="minimumSize">
|
||||||
|
<size>
|
||||||
|
<width>150</width>
|
||||||
|
<height>0</height>
|
||||||
|
</size>
|
||||||
|
</property>
|
||||||
|
<property name="maximumSize">
|
||||||
|
<size>
|
||||||
|
<width>250</width>
|
||||||
|
<height>16777215</height>
|
||||||
|
</size>
|
||||||
|
</property>
|
||||||
|
</widget>
|
||||||
|
</item>
|
||||||
|
</layout>
|
||||||
|
</widget>
|
||||||
|
</item>
|
||||||
|
<item row="0" column="0">
|
||||||
|
<widget class="QGroupBox" name="source_criteria">
|
||||||
|
<property name="maximumSize">
|
||||||
|
<size>
|
||||||
|
<width>16777215</width>
|
||||||
|
<height>100</height>
|
||||||
|
</size>
|
||||||
|
</property>
|
||||||
|
<property name="title">
|
||||||
|
<string>Source Domain</string>
|
||||||
|
</property>
|
||||||
|
<layout class="QGridLayout" name="gridLayout_2">
|
||||||
|
<property name="leftMargin">
|
||||||
|
<number>6</number>
|
||||||
|
</property>
|
||||||
|
<property name="topMargin">
|
||||||
|
<number>6</number>
|
||||||
|
</property>
|
||||||
|
<property name="rightMargin">
|
||||||
|
<number>6</number>
|
||||||
|
</property>
|
||||||
|
<property name="bottomMargin">
|
||||||
|
<number>6</number>
|
||||||
|
</property>
|
||||||
|
<property name="spacing">
|
||||||
|
<number>3</number>
|
||||||
|
</property>
|
||||||
|
<item row="0" column="1">
|
||||||
|
<spacer name="horizontalSpacer_2">
|
||||||
|
<property name="orientation">
|
||||||
|
<enum>Qt::Horizontal</enum>
|
||||||
|
</property>
|
||||||
|
<property name="sizeHint" stdset="0">
|
||||||
|
<size>
|
||||||
|
<width>40</width>
|
||||||
|
<height>20</height>
|
||||||
|
</size>
|
||||||
|
</property>
|
||||||
|
</spacer>
|
||||||
|
</item>
|
||||||
|
<item row="0" column="0">
|
||||||
|
<widget class="QLineEdit" name="source">
|
||||||
|
<property name="sizePolicy">
|
||||||
|
<sizepolicy hsizetype="Expanding" vsizetype="Fixed">
|
||||||
|
<horstretch>0</horstretch>
|
||||||
|
<verstretch>0</verstretch>
|
||||||
|
</sizepolicy>
|
||||||
|
</property>
|
||||||
|
<property name="minimumSize">
|
||||||
|
<size>
|
||||||
|
<width>150</width>
|
||||||
|
<height>0</height>
|
||||||
|
</size>
|
||||||
|
</property>
|
||||||
|
<property name="maximumSize">
|
||||||
|
<size>
|
||||||
|
<width>250</width>
|
||||||
|
<height>16777215</height>
|
||||||
|
</size>
|
||||||
|
</property>
|
||||||
|
</widget>
|
||||||
|
</item>
|
||||||
|
</layout>
|
||||||
|
</widget>
|
||||||
|
</item>
|
||||||
|
<item row="2" column="2">
|
||||||
|
<widget class="QDialogButtonBox" name="buttonBox">
|
||||||
|
<property name="standardButtons">
|
||||||
|
<set>QDialogButtonBox::Apply</set>
|
||||||
|
</property>
|
||||||
|
</widget>
|
||||||
|
</item>
|
||||||
|
<item row="0" column="1">
|
||||||
|
<widget class="QGroupBox" name="groupBox">
|
||||||
|
<property name="title">
|
||||||
|
<string>Analysis Mode</string>
|
||||||
|
</property>
|
||||||
|
<layout class="QGridLayout" name="gridLayout">
|
||||||
|
<property name="leftMargin">
|
||||||
|
<number>6</number>
|
||||||
|
</property>
|
||||||
|
<property name="topMargin">
|
||||||
|
<number>6</number>
|
||||||
|
</property>
|
||||||
|
<property name="rightMargin">
|
||||||
|
<number>6</number>
|
||||||
|
</property>
|
||||||
|
<property name="bottomMargin">
|
||||||
|
<number>6</number>
|
||||||
|
</property>
|
||||||
|
<property name="spacing">
|
||||||
|
<number>3</number>
|
||||||
|
</property>
|
||||||
|
<item row="1" column="1">
|
||||||
|
<widget class="QSpinBox" name="max_path_length">
|
||||||
|
<property name="toolTip">
|
||||||
|
<string>The limit for path length.</string>
|
||||||
|
</property>
|
||||||
|
<property name="suffix">
|
||||||
|
<string> steps</string>
|
||||||
|
</property>
|
||||||
|
<property name="minimum">
|
||||||
|
<number>1</number>
|
||||||
|
</property>
|
||||||
|
<property name="value">
|
||||||
|
<number>3</number>
|
||||||
|
</property>
|
||||||
|
</widget>
|
||||||
|
</item>
|
||||||
|
<item row="3" column="0" colspan="2">
|
||||||
|
<widget class="QRadioButton" name="flows_in">
|
||||||
|
<property name="toolTip">
|
||||||
|
<string>All domain transitions into the target domain will be shown.</string>
|
||||||
|
</property>
|
||||||
|
<property name="text">
|
||||||
|
<string>Transitions into the target domain</string>
|
||||||
|
</property>
|
||||||
|
</widget>
|
||||||
|
</item>
|
||||||
|
<item row="1" column="0">
|
||||||
|
<widget class="QRadioButton" name="all_paths">
|
||||||
|
<property name="toolTip">
|
||||||
|
<string>All paths from the source domain to the target domain, up to the specified maximum length, will be shown.</string>
|
||||||
|
</property>
|
||||||
|
<property name="text">
|
||||||
|
<string>All paths up to</string>
|
||||||
|
</property>
|
||||||
|
</widget>
|
||||||
|
</item>
|
||||||
|
<item row="0" column="0">
|
||||||
|
<widget class="QRadioButton" name="all_shortest_paths">
|
||||||
|
<property name="toolTip">
|
||||||
|
<string>All shortest paths from the source domain to the target domain will be shown.</string>
|
||||||
|
</property>
|
||||||
|
<property name="text">
|
||||||
|
<string>Shortest paths</string>
|
||||||
|
</property>
|
||||||
|
<property name="checked">
|
||||||
|
<bool>true</bool>
|
||||||
|
</property>
|
||||||
|
</widget>
|
||||||
|
</item>
|
||||||
|
<item row="2" column="0" colspan="2">
|
||||||
|
<widget class="QRadioButton" name="flows_out">
|
||||||
|
<property name="toolTip">
|
||||||
|
<string>All domain transitions out of the source domain will be shown.</string>
|
||||||
|
</property>
|
||||||
|
<property name="text">
|
||||||
|
<string>Transitions out of the source domain</string>
|
||||||
|
</property>
|
||||||
|
</widget>
|
||||||
|
</item>
|
||||||
|
</layout>
|
||||||
|
</widget>
|
||||||
|
</item>
|
||||||
|
</layout>
|
||||||
|
<zorder>source_criteria</zorder>
|
||||||
|
<zorder>target_criteria</zorder>
|
||||||
|
<zorder>buttonBox</zorder>
|
||||||
|
<zorder>groupBox</zorder>
|
||||||
|
<zorder>groupBox_2</zorder>
|
||||||
|
</widget>
|
||||||
|
</item>
|
||||||
|
</layout>
|
||||||
|
</widget>
|
||||||
|
</widget>
|
||||||
|
<tabstops>
|
||||||
|
<tabstop>criteria_expander</tabstop>
|
||||||
|
<tabstop>source</tabstop>
|
||||||
|
<tabstop>target</tabstop>
|
||||||
|
<tabstop>results_expander</tabstop>
|
||||||
|
<tabstop>table_results</tabstop>
|
||||||
|
<tabstop>raw_results</tabstop>
|
||||||
|
<tabstop>notes_expander</tabstop>
|
||||||
|
<tabstop>notes</tabstop>
|
||||||
|
</tabstops>
|
||||||
|
<resources/>
|
||||||
|
<connections>
|
||||||
|
<connection>
|
||||||
|
<sender>criteria_expander</sender>
|
||||||
|
<signal>toggled(bool)</signal>
|
||||||
|
<receiver>criteria_frame</receiver>
|
||||||
|
<slot>setVisible(bool)</slot>
|
||||||
|
<hints>
|
||||||
|
<hint type="sourcelabel">
|
||||||
|
<x>17</x>
|
||||||
|
<y>41</y>
|
||||||
|
</hint>
|
||||||
|
<hint type="destinationlabel">
|
||||||
|
<x>379</x>
|
||||||
|
<y>289</y>
|
||||||
|
</hint>
|
||||||
|
</hints>
|
||||||
|
</connection>
|
||||||
|
<connection>
|
||||||
|
<sender>results_expander</sender>
|
||||||
|
<signal>toggled(bool)</signal>
|
||||||
|
<receiver>results_frame</receiver>
|
||||||
|
<slot>setVisible(bool)</slot>
|
||||||
|
<hints>
|
||||||
|
<hint type="sourcelabel">
|
||||||
|
<x>17</x>
|
||||||
|
<y>537</y>
|
||||||
|
</hint>
|
||||||
|
<hint type="destinationlabel">
|
||||||
|
<x>379</x>
|
||||||
|
<y>685</y>
|
||||||
|
</hint>
|
||||||
|
</hints>
|
||||||
|
</connection>
|
||||||
|
<connection>
|
||||||
|
<sender>notes_expander</sender>
|
||||||
|
<signal>toggled(bool)</signal>
|
||||||
|
<receiver>notes</receiver>
|
||||||
|
<slot>setVisible(bool)</slot>
|
||||||
|
<hints>
|
||||||
|
<hint type="sourcelabel">
|
||||||
|
<x>17</x>
|
||||||
|
<y>833</y>
|
||||||
|
</hint>
|
||||||
|
<hint type="destinationlabel">
|
||||||
|
<x>379</x>
|
||||||
|
<y>910</y>
|
||||||
|
</hint>
|
||||||
|
</hints>
|
||||||
|
</connection>
|
||||||
|
</connections>
|
||||||
|
</ui>
|
||||||
315
setoolsgui/apol/dta.py
Normal file
315
setoolsgui/apol/dta.py
Normal file
@ -0,0 +1,315 @@
|
|||||||
|
# Copyright 2015, Tresys Technology, LLC
|
||||||
|
#
|
||||||
|
# This file is part of SETools.
|
||||||
|
#
|
||||||
|
# SETools is free software: you can redistribute it and/or modify
|
||||||
|
# it under the terms of the GNU Lesser General Public License as
|
||||||
|
# published by the Free Software Foundation, either version 2.1 of
|
||||||
|
# the License, or (at your option) any later version.
|
||||||
|
#
|
||||||
|
# SETools is distributed in the hope that it will be useful,
|
||||||
|
# but WITHOUT ANY WARRANTY; without even the implied warranty of
|
||||||
|
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
||||||
|
# GNU Lesser General Public License for more details.
|
||||||
|
#
|
||||||
|
# You should have received a copy of the GNU Lesser General Public
|
||||||
|
# License along with SETools. If not, see
|
||||||
|
# <http://www.gnu.org/licenses/>.
|
||||||
|
#
|
||||||
|
|
||||||
|
import logging
|
||||||
|
|
||||||
|
from PyQt5.QtCore import pyqtSignal, Qt, QObject, QStringListModel, QThread
|
||||||
|
from PyQt5.QtGui import QPalette, QTextCursor
|
||||||
|
from PyQt5.QtWidgets import QCompleter, QHeaderView, QMessageBox, QProgressDialog, QScrollArea
|
||||||
|
from setools import DomainTransitionAnalysis
|
||||||
|
|
||||||
|
from .excludetypes import ExcludeTypes
|
||||||
|
from ..widget import SEToolsWidget
|
||||||
|
|
||||||
|
|
||||||
|
class DomainTransitionAnalysisTab(SEToolsWidget, QScrollArea):
|
||||||
|
|
||||||
|
"""A domain transition analysis tab."""
|
||||||
|
|
||||||
|
def __init__(self, parent, policy, perm_map):
|
||||||
|
super(DomainTransitionAnalysisTab, self).__init__(parent)
|
||||||
|
self.log = logging.getLogger(self.__class__.__name__)
|
||||||
|
self.policy = policy
|
||||||
|
self.query = DomainTransitionAnalysis(policy)
|
||||||
|
self.setupUi()
|
||||||
|
|
||||||
|
def __del__(self):
|
||||||
|
self.thread.quit()
|
||||||
|
self.thread.wait(5000)
|
||||||
|
|
||||||
|
def setupUi(self):
|
||||||
|
self.log.debug("Initializing UI.")
|
||||||
|
self.load_ui("dta.ui")
|
||||||
|
|
||||||
|
# set up source/target autocompletion
|
||||||
|
type_completion_list = [str(t) for t in self.policy.types()]
|
||||||
|
type_completer_model = QStringListModel(self)
|
||||||
|
type_completer_model.setStringList(sorted(type_completion_list))
|
||||||
|
self.type_completion = QCompleter()
|
||||||
|
self.type_completion.setModel(type_completer_model)
|
||||||
|
self.source.setCompleter(self.type_completion)
|
||||||
|
self.target.setCompleter(self.type_completion)
|
||||||
|
|
||||||
|
# setup indications of errors on source/target/default
|
||||||
|
self.orig_palette = self.source.palette()
|
||||||
|
self.error_palette = self.source.palette()
|
||||||
|
self.error_palette.setColor(QPalette.Base, Qt.red)
|
||||||
|
self.clear_source_error()
|
||||||
|
self.clear_target_error()
|
||||||
|
|
||||||
|
# set up processing thread
|
||||||
|
self.thread = QThread()
|
||||||
|
self.worker = ResultsUpdater(self.query)
|
||||||
|
self.worker.moveToThread(self.thread)
|
||||||
|
self.worker.raw_line.connect(self.raw_results.appendPlainText)
|
||||||
|
self.worker.finished.connect(self.thread.quit)
|
||||||
|
self.thread.started.connect(self.worker.update)
|
||||||
|
self.thread.finished.connect(self.update_complete)
|
||||||
|
|
||||||
|
# create a "busy, please wait" dialog
|
||||||
|
self.busy = QProgressDialog(self)
|
||||||
|
self.busy.setModal(True)
|
||||||
|
self.busy.setLabelText("Processing analysis...")
|
||||||
|
self.busy.setRange(0, 0)
|
||||||
|
self.busy.setMinimumDuration(0)
|
||||||
|
self.busy.canceled.connect(self.thread.requestInterruption)
|
||||||
|
|
||||||
|
# Ensure settings are consistent with the initial .ui state
|
||||||
|
self.max_path_length.setEnabled(self.all_paths.isChecked())
|
||||||
|
self.source.setEnabled(not self.flows_in.isChecked())
|
||||||
|
self.target.setEnabled(not self.flows_out.isChecked())
|
||||||
|
self.criteria_frame.setHidden(not self.criteria_expander.isChecked())
|
||||||
|
self.results_frame.setHidden(not self.results_expander.isChecked())
|
||||||
|
self.notes.setHidden(not self.notes_expander.isChecked())
|
||||||
|
|
||||||
|
# connect signals
|
||||||
|
self.buttonBox.clicked.connect(self.run)
|
||||||
|
self.source.textEdited.connect(self.clear_source_error)
|
||||||
|
self.source.editingFinished.connect(self.set_source)
|
||||||
|
self.target.textEdited.connect(self.clear_target_error)
|
||||||
|
self.target.editingFinished.connect(self.set_target)
|
||||||
|
self.all_paths.toggled.connect(self.all_paths_toggled)
|
||||||
|
self.flows_in.toggled.connect(self.flows_in_toggled)
|
||||||
|
self.flows_out.toggled.connect(self.flows_out_toggled)
|
||||||
|
self.reverse.stateChanged.connect(self.reverse_toggled)
|
||||||
|
self.exclude_types.clicked.connect(self.choose_excluded_types)
|
||||||
|
|
||||||
|
#
|
||||||
|
# Analysis mode
|
||||||
|
#
|
||||||
|
def all_paths_toggled(self, value):
|
||||||
|
self.max_path_length.setEnabled(value)
|
||||||
|
|
||||||
|
def flows_in_toggled(self, value):
|
||||||
|
self.source.setEnabled(not value)
|
||||||
|
self.reverse.setEnabled(not value)
|
||||||
|
|
||||||
|
if value:
|
||||||
|
self.reverse_old = self.reverse.isChecked()
|
||||||
|
self.reverse.setChecked(True)
|
||||||
|
else:
|
||||||
|
self.reverse.setChecked(self.reverse_old)
|
||||||
|
|
||||||
|
def flows_out_toggled(self, value):
|
||||||
|
self.target.setEnabled(not value)
|
||||||
|
self.reverse.setEnabled(not value)
|
||||||
|
|
||||||
|
if value:
|
||||||
|
self.reverse_old = self.reverse.isChecked()
|
||||||
|
self.reverse.setChecked(False)
|
||||||
|
else:
|
||||||
|
self.reverse.setChecked(self.reverse_old)
|
||||||
|
|
||||||
|
#
|
||||||
|
# Source criteria
|
||||||
|
#
|
||||||
|
|
||||||
|
def clear_source_error(self):
|
||||||
|
self.source.setToolTip("The source domain of the analysis.")
|
||||||
|
self.source.setPalette(self.orig_palette)
|
||||||
|
|
||||||
|
def set_source(self):
|
||||||
|
try:
|
||||||
|
# look up the type here, so invalid types can be caught immediately
|
||||||
|
text = self.source.text()
|
||||||
|
if text:
|
||||||
|
self.query.source = self.policy.lookup_type(text)
|
||||||
|
else:
|
||||||
|
self.query.source = None
|
||||||
|
except Exception as ex:
|
||||||
|
self.source.setToolTip("Error: " + str(ex))
|
||||||
|
self.source.setPalette(self.error_palette)
|
||||||
|
|
||||||
|
#
|
||||||
|
# Target criteria
|
||||||
|
#
|
||||||
|
|
||||||
|
def clear_target_error(self):
|
||||||
|
self.target.setToolTip("The target domain of the analysis.")
|
||||||
|
self.target.setPalette(self.orig_palette)
|
||||||
|
|
||||||
|
def set_target(self):
|
||||||
|
try:
|
||||||
|
# look up the type here, so invalid types can be caught immediately
|
||||||
|
text = self.target.text()
|
||||||
|
if text:
|
||||||
|
self.query.target = self.policy.lookup_type(text)
|
||||||
|
else:
|
||||||
|
self.query.target = None
|
||||||
|
except Exception as ex:
|
||||||
|
self.target.setToolTip("Error: " + str(ex))
|
||||||
|
self.target.setPalette(self.error_palette)
|
||||||
|
|
||||||
|
#
|
||||||
|
# Options
|
||||||
|
#
|
||||||
|
def choose_excluded_types(self):
|
||||||
|
chooser = ExcludeTypes(self, self.policy)
|
||||||
|
chooser.show()
|
||||||
|
|
||||||
|
def reverse_toggled(self, value):
|
||||||
|
self.query.reverse = value
|
||||||
|
|
||||||
|
#
|
||||||
|
# Results runner
|
||||||
|
#
|
||||||
|
|
||||||
|
def run(self, button):
|
||||||
|
# right now there is only one button.
|
||||||
|
for mode in [self.all_paths, self.all_shortest_paths, self.flows_in, self.flows_out]:
|
||||||
|
if mode.isChecked():
|
||||||
|
break
|
||||||
|
|
||||||
|
self.query.mode = mode.objectName()
|
||||||
|
self.query.max_path_len = self.max_path_length.value()
|
||||||
|
self.query.limit = self.limit_paths.value()
|
||||||
|
|
||||||
|
# start processing
|
||||||
|
self.busy.show()
|
||||||
|
self.raw_results.clear()
|
||||||
|
self.thread.start()
|
||||||
|
|
||||||
|
def update_complete(self):
|
||||||
|
# update location of result display
|
||||||
|
self.raw_results.moveCursor(QTextCursor.Start)
|
||||||
|
|
||||||
|
self.busy.reset()
|
||||||
|
|
||||||
|
|
||||||
|
class ResultsUpdater(QObject):
|
||||||
|
|
||||||
|
"""
|
||||||
|
Thread for processing queries and updating result widgets.
|
||||||
|
|
||||||
|
Parameters:
|
||||||
|
query The query object
|
||||||
|
model The model for the results
|
||||||
|
|
||||||
|
Qt signals:
|
||||||
|
finished The update has completed.
|
||||||
|
raw_line (str) A string to be appended to the raw results.
|
||||||
|
"""
|
||||||
|
|
||||||
|
finished = pyqtSignal()
|
||||||
|
raw_line = pyqtSignal(str)
|
||||||
|
|
||||||
|
def __init__(self, query):
|
||||||
|
super(ResultsUpdater, self).__init__()
|
||||||
|
self.query = query
|
||||||
|
|
||||||
|
def update(self):
|
||||||
|
"""Run the query and update results."""
|
||||||
|
|
||||||
|
assert self.query.limit, "Code doesn't currently handle unlimited (limit=0) paths."
|
||||||
|
if self.query.mode == "all_paths":
|
||||||
|
self.transitive(self.query.all_paths(self.query.source, self.query.target,
|
||||||
|
self.query.max_path_len))
|
||||||
|
elif self.query.mode == "all_shortest_paths":
|
||||||
|
self.transitive(self.query.all_shortest_paths(self.query.source, self.query.target))
|
||||||
|
elif self.query.mode == "flows_out":
|
||||||
|
self.direct(self.query.transitions(self.query.source))
|
||||||
|
else: # flows_in
|
||||||
|
self.direct(self.query.transitions(self.query.target))
|
||||||
|
|
||||||
|
self.finished.emit()
|
||||||
|
|
||||||
|
def print_transition(self, trans):
|
||||||
|
"""Raw rendering of a domain transition."""
|
||||||
|
|
||||||
|
if trans.transition:
|
||||||
|
self.raw_line.emit("Domain transition rule(s):")
|
||||||
|
for t in trans.transition:
|
||||||
|
self.raw_line.emit(str(t))
|
||||||
|
|
||||||
|
if trans.setexec:
|
||||||
|
self.raw_line.emit("\nSet execution context rule(s):")
|
||||||
|
for s in trans.setexec:
|
||||||
|
self.raw_line.emit(str(s))
|
||||||
|
|
||||||
|
for entrypoint in trans.entrypoints:
|
||||||
|
self.raw_line.emit("\nEntrypoint {0}:".format(entrypoint.name))
|
||||||
|
|
||||||
|
self.raw_line.emit("\tDomain entrypoint rule(s):")
|
||||||
|
for e in entrypoint.entrypoint:
|
||||||
|
self.raw_line.emit("\t{0}".format(e))
|
||||||
|
|
||||||
|
self.raw_line.emit("\n\tFile execute rule(s):")
|
||||||
|
for e in entrypoint.execute:
|
||||||
|
self.raw_line.emit("\t{0}".format(e))
|
||||||
|
|
||||||
|
if entrypoint.type_transition:
|
||||||
|
self.raw_line.emit("\n\tType transition rule(s):")
|
||||||
|
for t in entrypoint.type_transition:
|
||||||
|
self.raw_line.emit("\t{0}".format(t))
|
||||||
|
|
||||||
|
self.raw_line.emit("")
|
||||||
|
|
||||||
|
if trans.dyntransition:
|
||||||
|
self.raw_line.emit("Dynamic transition rule(s):")
|
||||||
|
for d in trans.dyntransition:
|
||||||
|
self.raw_line.emit(str(d))
|
||||||
|
|
||||||
|
self.raw_line.emit("\nSet current process context rule(s):")
|
||||||
|
for s in trans.setcurrent:
|
||||||
|
self.raw_line.emit(str(s))
|
||||||
|
|
||||||
|
self.raw_line.emit("")
|
||||||
|
|
||||||
|
self.raw_line.emit("")
|
||||||
|
|
||||||
|
def transitive(self, paths):
|
||||||
|
i = 0
|
||||||
|
for i, path in enumerate(paths, start=1):
|
||||||
|
self.raw_line.emit("Domain transition path {0}:".format(i))
|
||||||
|
|
||||||
|
for stepnum, step in enumerate(path, start=1):
|
||||||
|
|
||||||
|
self.raw_line.emit("Step {0}: {1} -> {2}\n".format(stepnum, step.source,
|
||||||
|
step.target))
|
||||||
|
self.print_transition(step)
|
||||||
|
|
||||||
|
if QThread.currentThread().isInterruptionRequested() or (i >= self.query.limit):
|
||||||
|
break
|
||||||
|
else:
|
||||||
|
QThread.yieldCurrentThread()
|
||||||
|
|
||||||
|
self.raw_line.emit("{0} domain transition path(s) found.".format(i))
|
||||||
|
|
||||||
|
def direct(self, transitions):
|
||||||
|
i = 0
|
||||||
|
for i, step in enumerate(transitions, start=1):
|
||||||
|
self.raw_line.emit("Transition {0}: {1} -> {2}\n".format(i, step.source, step.target))
|
||||||
|
self.print_transition(step)
|
||||||
|
|
||||||
|
if QThread.currentThread().isInterruptionRequested() or (i >= self.query.limit):
|
||||||
|
break
|
||||||
|
else:
|
||||||
|
QThread.yieldCurrentThread()
|
||||||
|
|
||||||
|
self.raw_line.emit("{0} domain transition(s) found.".format(i))
|
||||||
@ -26,6 +26,7 @@ from setools import PermissionMap, SELinuxPolicy
|
|||||||
|
|
||||||
from ..widget import SEToolsWidget
|
from ..widget import SEToolsWidget
|
||||||
# Analysis tabs:
|
# Analysis tabs:
|
||||||
|
from .dta import DomainTransitionAnalysisTab
|
||||||
from .infoflow import InfoFlowAnalysisTab
|
from .infoflow import InfoFlowAnalysisTab
|
||||||
from .terulequery import TERuleQueryTab
|
from .terulequery import TERuleQueryTab
|
||||||
|
|
||||||
@ -224,7 +225,8 @@ class ChooseAnalysis(SEToolsWidget, QDialog):
|
|||||||
# "Analysis": _analysis_map,
|
# "Analysis": _analysis_map,
|
||||||
# "Labeling Statements": _labeling_map}
|
# "Labeling Statements": _labeling_map}
|
||||||
|
|
||||||
_analysis_map = {"Information Flow Analysis": InfoFlowAnalysisTab}
|
_analysis_map = {"Domain Transition Analysis": DomainTransitionAnalysisTab,
|
||||||
|
"Information Flow Analysis": InfoFlowAnalysisTab}
|
||||||
_rule_map = {"TE Rules": TERuleQueryTab}
|
_rule_map = {"TE Rules": TERuleQueryTab}
|
||||||
_analysis_choices = {"Rules": _rule_map,
|
_analysis_choices = {"Rules": _rule_map,
|
||||||
"Analyses": _analysis_map}
|
"Analyses": _analysis_map}
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user