1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21pre { line-height: 125%; }
td.linenos .normal { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
span.linenos { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
td.linenos .special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
span.linenos.special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
.highlight .hll { background-color: #ffffcc }
.highlight .c { color: #888888 } /* Comment */
.highlight .err { color: #a61717; background-color: #e3d2d2 } /* Error */
.highlight .k { color: #008800; font-weight: bold } /* Keyword */
.highlight .ch { color: #888888 } /* Comment.Hashbang */
.highlight .cm { color: #888888 } /* Comment.Multiline */
.highlight .cp { color: #cc0000; font-weight: bold } /* Comment.Preproc */
.highlight .cpf { color: #888888 } /* Comment.PreprocFile */
.highlight .c1 { color: #888888 } /* Comment.Single */
.highlight .cs { color: #cc0000; font-weight: bold; background-color: #fff0f0 } /* Comment.Special */
.highlight .gd { color: #000000; background-color: #ffdddd } /* Generic.Deleted */
.highlight .ge { font-style: italic } /* Generic.Emph */
.highlight .ges { font-weight: bold; font-style: italic } /* Generic.EmphStrong */
.highlight .gr { color: #aa0000 } /* Generic.Error */
.highlight .gh { color: #333333 } /* Generic.Heading */
.highlight .gi { color: #000000; background-color: #ddffdd } /* Generic.Inserted */
.highlight .go { color: #888888 } /* Generic.Output */
.highlight .gp { color: #555555 } /* Generic.Prompt */
.highlight .gs { font-weight: bold } /* Generic.Strong */
.highlight .gu { color: #666666 } /* Generic.Subheading */
.highlight .gt { color: #aa0000 } /* Generic.Traceback */
.highlight .kc { color: #008800; font-weight: bold } /* Keyword.Constant */
.highlight .kd { color: #008800; font-weight: bold } /* Keyword.Declaration */
.highlight .kn { color: #008800; font-weight: bold } /* Keyword.Namespace */
.highlight .kp { color: #008800 } /* Keyword.Pseudo */
.highlight .kr { color: #008800; font-weight: bold } /* Keyword.Reserved */
.highlight .kt { color: #888888; font-weight: bold } /* Keyword.Type */
.highlight .m { color: #0000DD; font-weight: bold } /* Literal.Number */
.highlight .s { color: #dd2200; background-color: #fff0f0 } /* Literal.String */
.highlight .na { color: #336699 } /* Name.Attribute */
.highlight .nb { color: #003388 } /* Name.Builtin */
.highlight .nc { color: #bb0066; font-weight: bold } /* Name.Class */
.highlight .no { color: #003366; font-weight: bold } /* Name.Constant */
.highlight .nd { color: #555555 } /* Name.Decorator */
.highlight .ne { color: #bb0066; font-weight: bold } /* Name.Exception */
.highlight .nf { color: #0066bb; font-weight: bold } /* Name.Function */
.highlight .nl { color: #336699; font-style: italic } /* Name.Label */
.highlight .nn { color: #bb0066; font-weight: bold } /* Name.Namespace */
.highlight .py { color: #336699; font-weight: bold } /* Name.Property */
.highlight .nt { color: #bb0066; font-weight: bold } /* Name.Tag */
.highlight .nv { color: #336699 } /* Name.Variable */
.highlight .ow { color: #008800 } /* Operator.Word */
.highlight .w { color: #bbbbbb } /* Text.Whitespace */
.highlight .mb { color: #0000DD; font-weight: bold } /* Literal.Number.Bin */
.highlight .mf { color: #0000DD; font-weight: bold } /* Literal.Number.Float */
.highlight .mh { color: #0000DD; font-weight: bold } /* Literal.Number.Hex */
.highlight .mi { color: #0000DD; font-weight: bold } /* Literal.Number.Integer */
.highl//:: Some helpers for debugging.
//: Load the 'map' file generated during 'subx --debug translate' when running
//: 'subx --debug --trace run'.
//: (It'll only affect the trace.)
:(before "End Globals")
map</*address*/uint32_t, string> Symbol_name; // used only by 'subx run'
map</*address*/uint32_t, string> Source_line; // used only by 'subx run'
:(before "End --debug Settings")
load_labels();
load_source_lines();
:(code)
void load_labels() {
ifstream fin("labels");
fin >> std::hex;
while (has_data(fin)) {
uint32_t addr = 0;
fin >> addr;
string name;
fin >> name;
put(Symbol_name, addr, name);
}
}
void load_source_lines() {
ifstream fin("source_lines");
fin >> std::hex;
while (has_data(fin)) {
uint32_t addr = 0;
fin >> addr;
string line;
getline(fin, line);
put(Source_line, addr, hacky_squeeze_out_whitespace(line));
}
}
:(after "Run One Instruction")
if (contains_key(Symbol_name, EIP))
trace(Callstack_depth, "run") << "== label " << get(Symbol_name, EIP) << end();
if (contains_key(Source_line, EIP))
trace(Callstack_depth, "run") << "0x" << HEXWORD << EIP << ": " << get(Source_line, EIP) << end();
else
// no source line info; do what you can
trace(Callstack_depth, "run") << "0x" << HEXWORD << EIP << ": " << debug_info(EIP) << end();
:(code)
string debug_info(uint32_t inst_address) {
uint8_t op = read_mem_u8(EIP);
if (op != 0xe8) {
ostringstream out;
out << HEXBYTE << NUM(op);
return out.str();
}
int32_t offset = read_mem_i32(EIP+/*skip op*/1);
uint32_t next_eip = EIP+/*inst length*/5+offset;
if (contains_key(Symbol_name, next_eip))
return "e8/call "+get(Symbol_name, next_eip);
ostringstream out;
out << "e8/call 0x" << HEXWORD << next_eip;
return out.str();
}
//: If a label starts with '$watch-', make a note of the effective address
//: computed by the next instruction. Start dumping out its contents to the
//: trace after every subsequent instruction.
:(after "Run One Instruction")
dump_watch_points();
:(before "End Globals")
map<string, uint32_t> Watch_points;
:(before "End Reset")
Watch_points.clear();
:(code)
void dump_watch_points() {
if (Watch_points.empty()) return;
dbg << "watch points:" << end();
for (map<string, uint32_t>::iterator p = Watch_points.begin(); p != Watch_points.end(); ++p)
dbg << " " << p->first << ": " << HEXWORD << p->second << " -> " << HEXWORD << read_mem_u32(p->second) << end();
}
:(before "End Globals")
string Watch_this_effective_address;
:(after "Run One Instruction")
Watch_this_effective_address = "";
if (contains_key(Symbol_name, EIP) && starts_with(get(Symbol_name, EIP), "$watch-"))
Watch_this_effective_address = get(Symbol_name, EIP);
:(after "Found effective_address(addr)")
if (!Watch_this_effective_address.empty()) {
dbg << "now watching " << HEXWORD << addr << " for " << Watch_this_effective_address << end();
put(Watch_points, Watch_this_effective_address, addr);
}
//: helpers
:(code)
string hacky_squeeze_out_whitespace(const string& s) {
// strip whitespace at start
string::const_iterator first = s.begin();
while (first != s.end() && isspace(*first))
++first;
if (first == s.end()) return "";
// strip whitespace at end
string::const_iterator last = --s.end();
while (last != s.begin() && isspace(*last))
--last;
++last;
// replace runs of spaces/dots with single space until comment or string
// TODO:
// leave alone dots not surrounded by whitespace
// leave alone '#' within word
// leave alone '"' within word
// squeeze spaces after end of string
ostringstream out;
bool previous_was_space = false;
bool in_comment_or_string = false;
for (string::const_iterator curr = first; curr != last; ++curr) {
if (in_comment_or_string)
out << *curr;
else if (isspace(*curr) || *curr == '.')
previous_was_space = true;
else {
if (previous_was_space)
out << ' ';
out << *curr;
previous_was_space = false;
if (*curr == '#' || *curr == '"') in_comment_or_string = true;
}
}
return out.str();
}
|