mirror of
https://github.com/SELinuxProject/setools
synced 2025-02-22 23:26:58 +00:00
InfoFlowAnalysisTab: initial implementation
Does not yet include graphical results.
This commit is contained in:
Chris PeBenito
parent
3cc8d49365
commit
d8f69d912f
804
data/infoflow.ui
Normal file
804
data/infoflow.ui
Normal file
@ -0,0 +1,804 @@
|
||||
<?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>758</width>
|
||||
<height>204</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>Information Flow 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="0" column="0">
|
||||
<widget class="QLabel" name="label_6">
|
||||
<property name="text">
|
||||
<string>Minimum permission weight:</string>
|
||||
</property>
|
||||
</widget>
|
||||
</item>
|
||||
<item row="0" column="1">
|
||||
<widget class="QSpinBox" name="min_perm_weight">
|
||||
<property name="minimum">
|
||||
<number>1</number>
|
||||
</property>
|
||||
<property name="maximum">
|
||||
<number>10</number>
|
||||
</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="1" column="0">
|
||||
<widget class="QLabel" name="label_7">
|
||||
<property name="text">
|
||||
<string>Limit results:</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 Type</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 Type</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="enabled">
|
||||
<bool>false</bool>
|
||||
</property>
|
||||
<property name="toolTip">
|
||||
<string>All information flows into the target type will be shown.</string>
|
||||
</property>
|
||||
<property name="text">
|
||||
<string>Flows into the target type</string>
|
||||
</property>
|
||||
</widget>
|
||||
</item>
|
||||
<item row="1" column="0">
|
||||
<widget class="QRadioButton" name="all_paths">
|
||||
<property name="toolTip">
|
||||
<string>All paths from the source type to the target type, 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 type to the target type 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 information flows out of the source type will be shown.</string>
|
||||
</property>
|
||||
<property name="text">
|
||||
<string>Flows out of the source type</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>
|
||||
254
setoolsgui/apol/infoflow.py
Normal file
254
setoolsgui/apol/infoflow.py
Normal file
@ -0,0 +1,254 @@
|
||||
# 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 InfoFlowAnalysis
|
||||
|
||||
from ..widget import SEToolsWidget
|
||||
|
||||
|
||||
class InfoFlowAnalysisTab(SEToolsWidget, QScrollArea):
|
||||
|
||||
"""
|
||||
An information flow analysis tab.
|
||||
|
||||
Qt signals:
|
||||
update_results Signal child worker thread to run the analysis.
|
||||
"""
|
||||
|
||||
update_results = pyqtSignal(str, str, str, int, int)
|
||||
|
||||
def __init__(self, parent, policy, perm_map):
|
||||
super(InfoFlowAnalysisTab, self).__init__(parent)
|
||||
self.log = logging.getLogger(self.__class__.__name__)
|
||||
self.policy = policy
|
||||
self.query = InfoFlowAnalysis(policy, perm_map)
|
||||
self.setupUi()
|
||||
|
||||
def __del__(self):
|
||||
self.thread.quit()
|
||||
self.thread.wait(5000)
|
||||
self.log.debug("Thread successfully finished: %s", self.thread.isFinished())
|
||||
|
||||
def setupUi(self):
|
||||
self.log.debug("Initializing UI.")
|
||||
self.load_ui("infoflow.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.raw_line.connect(self.raw_results.appendPlainText)
|
||||
self.worker.finished.connect(self.update_complete)
|
||||
self.worker.moveToThread(self.thread)
|
||||
self.update_results.connect(self.worker.update)
|
||||
self.thread.start()
|
||||
|
||||
# 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)
|
||||
|
||||
#
|
||||
# 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)
|
||||
|
||||
def flows_out_toggled(self, value):
|
||||
self.target.setEnabled(not value)
|
||||
|
||||
#
|
||||
# Source criteria
|
||||
#
|
||||
|
||||
def clear_source_error(self):
|
||||
self.source.setToolTip("The target type 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)
|
||||
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 source type 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)
|
||||
except Exception as ex:
|
||||
self.target.setToolTip("Error: " + str(ex))
|
||||
self.target.setPalette(self.error_palette)
|
||||
|
||||
#
|
||||
# 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
|
||||
|
||||
# start processing
|
||||
self.busy.show()
|
||||
self.raw_results.clear()
|
||||
self.update_results.emit(mode.objectName(),
|
||||
self.source.text(),
|
||||
self.target.text(),
|
||||
self.max_path_length.value(),
|
||||
self.limit_paths.value())
|
||||
|
||||
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, mode, source, target, max_path_len, limit):
|
||||
"""Run the query and update results."""
|
||||
|
||||
if mode == "all_paths":
|
||||
self.transitive(self.query.all_paths(source, target, max_path_len), limit)
|
||||
elif mode == "all_shortest_paths":
|
||||
self.transitive(self.query.all_shortest_paths(source, target), limit)
|
||||
elif mode == "flows_out":
|
||||
self.direct(self.query.infoflows(source), limit)
|
||||
else: # flows_in
|
||||
pass
|
||||
|
||||
self.finished.emit()
|
||||
|
||||
def transitive(self, paths, limit):
|
||||
pathnum = 0
|
||||
for pathnum, path in enumerate(paths, start=1):
|
||||
self.raw_line.emit("Flow {0}:".format(pathnum))
|
||||
for stepnum, step in enumerate(path, start=1):
|
||||
self.raw_line.emit(" Step {0}: {1} -> {2}".format(stepnum,
|
||||
step.source,
|
||||
step.target))
|
||||
|
||||
for rule in sorted(step.rules):
|
||||
self.raw_line.emit(" {0}".format(rule))
|
||||
|
||||
self.raw_line.emit("")
|
||||
|
||||
if QThread.currentThread().isInterruptionRequested() or (limit and pathnum >= limit):
|
||||
break
|
||||
else:
|
||||
QThread.yieldCurrentThread()
|
||||
|
||||
self.raw_line.emit("")
|
||||
|
||||
self.raw_line.emit("{0} information flow path(s) found.\n".format(pathnum))
|
||||
|
||||
def direct(self, flows, limit):
|
||||
flownum = 0
|
||||
for flownum, flow in enumerate(flows, start=1):
|
||||
self.raw_line.emit("Flow {0}: {1} -> {2}".format(flownum, flow.source, flow.target))
|
||||
for rule in sorted(flow.rules):
|
||||
self.raw_line.emit(" {0}".format(rule))
|
||||
|
||||
self.raw_line.emit("")
|
||||
|
||||
if QThread.currentThread().isInterruptionRequested() or (limit and flownum >= limit):
|
||||
break
|
||||
else:
|
||||
QThread.yieldCurrentThread()
|
||||
|
||||
self.raw_line.emit("{0} information flow(s) found.\n".format(flownum))
|
||||
@ -25,6 +25,8 @@ from PyQt5.QtWidgets import QAction, QDialog, QFileDialog, QLineEdit, QMainWindo
|
||||
from setools import PermissionMap, SELinuxPolicy
|
||||
|
||||
from ..widget import SEToolsWidget
|
||||
# Analysis tabs:
|
||||
from .infoflow import InfoFlowAnalysisTab
|
||||
from .terulequery import TERuleQueryTab
|
||||
|
||||
|
||||
@ -136,7 +138,7 @@ class ApolMainWindow(SEToolsWidget, QMainWindow):
|
||||
newtab = QWidget()
|
||||
newtab.setObjectName(counted_name)
|
||||
|
||||
newanalysis = tabclass(newtab, self._policy)
|
||||
newanalysis = tabclass(newtab, self._policy, self._permmap)
|
||||
|
||||
# create a vertical layout in the tab, place the analysis ui inside.
|
||||
tabLayout = QVBoxLayout()
|
||||
@ -222,8 +224,10 @@ class ChooseAnalysis(SEToolsWidget, QDialog):
|
||||
# "Analysis": _analysis_map,
|
||||
# "Labeling Statements": _labeling_map}
|
||||
|
||||
_analysis_map = {"Information Flow Analysis": InfoFlowAnalysisTab}
|
||||
_rule_map = {"TE Rules": TERuleQueryTab}
|
||||
_analysis_choices = {"Rules": _rule_map}
|
||||
_analysis_choices = {"Rules": _rule_map,
|
||||
"Analyses": _analysis_map}
|
||||
|
||||
def __init__(self, parent):
|
||||
super(ChooseAnalysis, self).__init__(parent)
|
||||
|
||||
@ -40,7 +40,7 @@ class TERuleQueryTab(SEToolsWidget, QScrollArea):
|
||||
|
||||
update_results = pyqtSignal()
|
||||
|
||||
def __init__(self, parent, policy):
|
||||
def __init__(self, parent, policy, perm_map):
|
||||
super(TERuleQueryTab, self).__init__(parent)
|
||||
self.log = logging.getLogger(self.__class__.__name__)
|
||||
self.policy = policy
|
||||
|
||||
Loading…
Reference in New Issue
Block a user