mirror of
https://github.com/SELinuxProject/setools
synced 2025-02-22 15:16:58 +00:00
652 lines
20 KiB
XML
652 lines
20 KiB
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<ui version="4.0">
|
|
<class>InfoflowAnalysisTab</class>
|
|
<widget class="QScrollArea" name="InfoflowAnalysisTab">
|
|
<property name="geometry">
|
|
<rect>
|
|
<x>0</x>
|
|
<y>0</y>
|
|
<width>774</width>
|
|
<height>846</height>
|
|
</rect>
|
|
</property>
|
|
<property name="sizePolicy">
|
|
<sizepolicy hsizetype="Expanding" vsizetype="Expanding">
|
|
<horstretch>0</horstretch>
|
|
<verstretch>0</verstretch>
|
|
</sizepolicy>
|
|
</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_4">
|
|
<item row="1" column="0" colspan="5">
|
|
<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="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="3" column="1">
|
|
<widget class="QPushButton" name="edit_permmap">
|
|
<property name="text">
|
|
<string>Edit...</string>
|
|
</property>
|
|
</widget>
|
|
</item>
|
|
<item row="3" column="0">
|
|
<widget class="QLabel" name="label_3">
|
|
<property name="text">
|
|
<string>Excluded Permissions:</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="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>
|
|
<item row="0" column="0">
|
|
<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>12</pointsize>
|
|
<weight>75</weight>
|
|
<bold>true</bold>
|
|
</font>
|
|
</property>
|
|
<property name="text">
|
|
<string>Information Flow Analysis</string>
|
|
</property>
|
|
</widget>
|
|
</item>
|
|
<item row="0" column="1">
|
|
<spacer name="horizontalSpacer">
|
|
<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="2">
|
|
<widget class="QLabel" name="label_2">
|
|
<property name="text">
|
|
<string>Show:</string>
|
|
</property>
|
|
</widget>
|
|
</item>
|
|
<item row="2" column="0" colspan="5">
|
|
<widget class="QTabWidget" name="results_frame">
|
|
<property name="sizePolicy">
|
|
<sizepolicy hsizetype="Preferred" vsizetype="MinimumExpanding">
|
|
<horstretch>0</horstretch>
|
|
<verstretch>1</verstretch>
|
|
</sizepolicy>
|
|
</property>
|
|
<property name="currentIndex">
|
|
<number>0</number>
|
|
</property>
|
|
<widget class="QWidget" name="results_framePage2">
|
|
<property name="sizePolicy">
|
|
<sizepolicy hsizetype="Preferred" vsizetype="MinimumExpanding">
|
|
<horstretch>0</horstretch>
|
|
<verstretch>0</verstretch>
|
|
</sizepolicy>
|
|
</property>
|
|
<attribute name="title">
|
|
<string>Raw Results</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="sizePolicy">
|
|
<sizepolicy hsizetype="Expanding" vsizetype="MinimumExpanding">
|
|
<horstretch>0</horstretch>
|
|
<verstretch>0</verstretch>
|
|
</sizepolicy>
|
|
</property>
|
|
<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 class="QWidget" name="browser_tab">
|
|
<property name="enabled">
|
|
<bool>true</bool>
|
|
</property>
|
|
<attribute name="title">
|
|
<string>Browser</string>
|
|
</attribute>
|
|
<layout class="QHBoxLayout" name="horizontalLayout">
|
|
<item>
|
|
<widget class="QSplitter" name="splitter">
|
|
<property name="orientation">
|
|
<enum>Qt::Horizontal</enum>
|
|
</property>
|
|
<widget class="QTreeWidget" name="browser">
|
|
<property name="sizePolicy">
|
|
<sizepolicy hsizetype="Expanding" vsizetype="Expanding">
|
|
<horstretch>1</horstretch>
|
|
<verstretch>0</verstretch>
|
|
</sizepolicy>
|
|
</property>
|
|
<column>
|
|
<property name="text">
|
|
<string>Type</string>
|
|
</property>
|
|
</column>
|
|
</widget>
|
|
<widget class="QPlainTextEdit" name="browser_details">
|
|
<property name="sizePolicy">
|
|
<sizepolicy hsizetype="Expanding" vsizetype="Expanding">
|
|
<horstretch>4</horstretch>
|
|
<verstretch>0</verstretch>
|
|
</sizepolicy>
|
|
</property>
|
|
<property name="font">
|
|
<font>
|
|
<family>Monospace</family>
|
|
</font>
|
|
</property>
|
|
</widget>
|
|
</widget>
|
|
</item>
|
|
</layout>
|
|
</widget>
|
|
</widget>
|
|
</item>
|
|
<item row="0" column="3">
|
|
<widget class="QCheckBox" name="criteria_expander">
|
|
<property name="toolTip">
|
|
<string>Show or hide the search criteria (no settings are lost)</string>
|
|
</property>
|
|
<property name="text">
|
|
<string>Criteria</string>
|
|
</property>
|
|
<property name="checked">
|
|
<bool>true</bool>
|
|
</property>
|
|
</widget>
|
|
</item>
|
|
<item row="0" column="4">
|
|
<widget class="QCheckBox" name="notes_expander">
|
|
<property name="toolTip">
|
|
<string>Show or hide the notes field (no data is lost)</string>
|
|
</property>
|
|
<property name="text">
|
|
<string>Notes</string>
|
|
</property>
|
|
</widget>
|
|
</item>
|
|
<item row="3" column="0" colspan="5">
|
|
<widget class="QTextEdit" name="notes">
|
|
<property name="sizePolicy">
|
|
<sizepolicy hsizetype="Expanding" vsizetype="Preferred">
|
|
<horstretch>0</horstretch>
|
|
<verstretch>0</verstretch>
|
|
</sizepolicy>
|
|
</property>
|
|
<property name="minimumSize">
|
|
<size>
|
|
<width>0</width>
|
|
<height>80</height>
|
|
</size>
|
|
</property>
|
|
<property name="toolTip">
|
|
<string>Optionally enter notes here about the query.</string>
|
|
</property>
|
|
<property name="placeholderText">
|
|
<string>Enter notes here.</string>
|
|
</property>
|
|
</widget>
|
|
</item>
|
|
</layout>
|
|
</widget>
|
|
</widget>
|
|
<tabstops>
|
|
<tabstop>criteria_expander</tabstop>
|
|
<tabstop>notes_expander</tabstop>
|
|
<tabstop>source</tabstop>
|
|
<tabstop>target</tabstop>
|
|
<tabstop>all_shortest_paths</tabstop>
|
|
<tabstop>all_paths</tabstop>
|
|
<tabstop>max_path_length</tabstop>
|
|
<tabstop>flows_out</tabstop>
|
|
<tabstop>flows_in</tabstop>
|
|
<tabstop>min_perm_weight</tabstop>
|
|
<tabstop>limit_paths</tabstop>
|
|
<tabstop>exclude_types</tabstop>
|
|
<tabstop>results_frame</tabstop>
|
|
<tabstop>raw_results</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>583</x>
|
|
<y>19</y>
|
|
</hint>
|
|
<hint type="destinationlabel">
|
|
<x>386</x>
|
|
<y>174</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>732</x>
|
|
<y>19</y>
|
|
</hint>
|
|
<hint type="destinationlabel">
|
|
<x>386</x>
|
|
<y>708</y>
|
|
</hint>
|
|
</hints>
|
|
</connection>
|
|
</connections>
|
|
</ui>
|