2018-06-14 11:49:22 +00:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<ui version="4.0">
|
2018-06-15 13:07:18 +00:00
|
|
|
<class>DebugOptionsWidget</class>
|
|
|
|
<widget class="QWidget" name="DebugOptionsWidget">
|
|
|
|
<property name="geometry">
|
|
|
|
<rect>
|
|
|
|
<x>0</x>
|
|
|
|
<y>0</y>
|
2019-07-18 20:02:13 +00:00
|
|
|
<width>489</width>
|
|
|
|
<height>201</height>
|
2018-06-15 13:07:18 +00:00
|
|
|
</rect>
|
|
|
|
</property>
|
|
|
|
<property name="windowTitle">
|
|
|
|
<string>Debug</string>
|
|
|
|
</property>
|
|
|
|
<layout class="QVBoxLayout" name="verticalLayout">
|
|
|
|
<item>
|
|
|
|
<layout class="QFormLayout" name="formLayout">
|
2019-07-18 20:02:13 +00:00
|
|
|
<property name="fieldGrowthPolicy">
|
|
|
|
<enum>QFormLayout::ExpandingFieldsGrow</enum>
|
|
|
|
</property>
|
|
|
|
<property name="labelAlignment">
|
|
|
|
<set>Qt::AlignLeading|Qt::AlignLeft|Qt::AlignVCenter</set>
|
|
|
|
</property>
|
2018-06-15 13:07:18 +00:00
|
|
|
<item row="0" column="0">
|
2019-07-18 20:02:13 +00:00
|
|
|
<widget class="QLabel" name="pluginLabel">
|
|
|
|
<property name="text">
|
|
|
|
<string>Debug Plugin:</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item row="0" column="1">
|
|
|
|
<widget class="QComboBox" name="pluginComboBox"/>
|
2018-06-15 13:07:18 +00:00
|
|
|
</item>
|
|
|
|
<item row="1" column="0">
|
2019-07-18 20:02:13 +00:00
|
|
|
<widget class="QLabel" name="argsLabel">
|
|
|
|
<property name="text">
|
|
|
|
<string>Program Arguments:</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item row="1" column="1">
|
|
|
|
<widget class="QLineEdit" name="debugArgs">
|
|
|
|
<property name="sizePolicy">
|
|
|
|
<sizepolicy hsizetype="MinimumExpanding" vsizetype="Fixed">
|
|
|
|
<horstretch>0</horstretch>
|
|
|
|
<verstretch>0</verstretch>
|
|
|
|
</sizepolicy>
|
|
|
|
</property>
|
|
|
|
</widget>
|
2018-07-17 19:00:35 +00:00
|
|
|
</item>
|
|
|
|
<item row="2" column="0">
|
2019-07-18 20:02:13 +00:00
|
|
|
<widget class="QLabel" name="esilstackAddr">
|
|
|
|
<property name="text">
|
|
|
|
<string>ESIL stack address:</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
2018-07-17 19:00:35 +00:00
|
|
|
</item>
|
2019-07-18 20:02:13 +00:00
|
|
|
<item row="2" column="1">
|
|
|
|
<widget class="QLineEdit" name="stackAddr">
|
|
|
|
<property name="sizePolicy">
|
|
|
|
<sizepolicy hsizetype="Preferred" vsizetype="Fixed">
|
|
|
|
<horstretch>0</horstretch>
|
|
|
|
<verstretch>0</verstretch>
|
|
|
|
</sizepolicy>
|
|
|
|
</property>
|
|
|
|
</widget>
|
2018-06-15 13:07:18 +00:00
|
|
|
</item>
|
2019-07-18 20:02:13 +00:00
|
|
|
<item row="3" column="0">
|
|
|
|
<widget class="QLabel" name="esilStackSize">
|
2018-07-27 12:00:23 +00:00
|
|
|
<property name="text">
|
2019-07-18 20:02:13 +00:00
|
|
|
<string>ESIL stack size:</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item row="3" column="1">
|
|
|
|
<widget class="QLineEdit" name="stackSize">
|
|
|
|
<property name="sizePolicy">
|
|
|
|
<sizepolicy hsizetype="Preferred" vsizetype="Fixed">
|
|
|
|
<horstretch>0</horstretch>
|
|
|
|
<verstretch>0</verstretch>
|
|
|
|
</sizepolicy>
|
2018-07-27 12:00:23 +00:00
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2018-06-15 13:07:18 +00:00
|
|
|
</layout>
|
|
|
|
</item>
|
2019-07-18 20:02:13 +00:00
|
|
|
<item>
|
|
|
|
<widget class="QWidget" name="widget_2" native="true">
|
|
|
|
<property name="sizePolicy">
|
|
|
|
<sizepolicy hsizetype="Preferred" vsizetype="Expanding">
|
|
|
|
<horstretch>0</horstretch>
|
|
|
|
<verstretch>0</verstretch>
|
|
|
|
</sizepolicy>
|
|
|
|
</property>
|
|
|
|
<widget class="QCheckBox" name="esilBreakOnInvalid">
|
|
|
|
<property name="geometry">
|
|
|
|
<rect>
|
|
|
|
<x>0</x>
|
|
|
|
<y>0</y>
|
|
|
|
<width>469</width>
|
|
|
|
<height>24</height>
|
|
|
|
</rect>
|
|
|
|
</property>
|
|
|
|
<property name="text">
|
|
|
|
<string>Break esil execution when instruction is invalid (esil.breakoninvalid)</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2018-06-15 13:07:18 +00:00
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
<resources/>
|
|
|
|
<connections/>
|
2018-06-14 11:49:22 +00:00
|
|
|
</ui>
|