129 lines
1.7 KiB
Plaintext
129 lines
1.7 KiB
Plaintext
// Coverage library
|
|
|
|
defn coverage()
|
|
{
|
|
local lmap, lp, e, pc, n, l;
|
|
|
|
new();
|
|
|
|
bblock = {};
|
|
|
|
// find the first location in the text
|
|
e = (map()[0][1])\i;
|
|
|
|
while e < etext-4 do {
|
|
l = follow(e);
|
|
if tail l != {} then {
|
|
if match(l[0], bblock) < 0 then
|
|
bblock = append bblock, l[0];
|
|
if match(l[1], bblock) < 0 then
|
|
bblock = append bblock, l[1];
|
|
}
|
|
e++;
|
|
}
|
|
|
|
l = bblock;
|
|
while l != {} do {
|
|
*fmt(head l, bpfmt) = bpinst;
|
|
l = tail l;
|
|
}
|
|
|
|
while 1 do {
|
|
cont();
|
|
pc = *PC;
|
|
n = match(pc, bblock);
|
|
if n >= 0 then {
|
|
pc = fmt(pc, bpfmt);
|
|
*pc = @pc;
|
|
bblock = delete bblock, n;
|
|
}
|
|
else {
|
|
pstop(pid);
|
|
return {};
|
|
}
|
|
}
|
|
}
|
|
|
|
defn eblock(addr)
|
|
{
|
|
addr = addr\i;
|
|
|
|
while addr < etext do {
|
|
if (tail follow(addr)) != {} then
|
|
return pcline(addr);
|
|
addr++;
|
|
}
|
|
return 0;
|
|
}
|
|
|
|
defn basic(stsrc, ensrc, file)
|
|
{
|
|
local src, text;
|
|
|
|
if stsrc >= ensrc then
|
|
return {};
|
|
|
|
print(file, ":", stsrc, ",", ensrc, "\n");
|
|
src = match(file, srcfiles);
|
|
|
|
if src >= 0 then
|
|
src = srctext[src];
|
|
else
|
|
src = findsrc(file);
|
|
|
|
if src == {} then
|
|
print("no source for ", file, "\n");
|
|
else {
|
|
while stsrc <= ensrc do {
|
|
text = src[stsrc];
|
|
if text != {} then
|
|
print("\t", stsrc, ":", text, "\n");
|
|
stsrc = stsrc+1;
|
|
}
|
|
}
|
|
}
|
|
|
|
defn analyse(fnaddr)
|
|
{
|
|
local addr, l, tfn;
|
|
|
|
new();
|
|
|
|
tfn = fnbound(fnaddr);
|
|
|
|
l = bblock;
|
|
while l do {
|
|
addr = head l;
|
|
|
|
if addr >= tfn[0] && addr < tfn[1] then
|
|
basic(pcline(addr), eblock(addr), pcfile(addr));
|
|
|
|
l = tail l;
|
|
}
|
|
kill(pid);
|
|
}
|
|
|
|
defn report()
|
|
{
|
|
local addr, l;
|
|
|
|
new();
|
|
|
|
l = bblock;
|
|
while l do {
|
|
addr = head l;
|
|
|
|
basic(pcline(addr), eblock(addr), pcfile(addr));
|
|
|
|
l = tail l;
|
|
}
|
|
kill(pid);
|
|
}
|
|
|
|
defn stopped(pid)
|
|
{
|
|
return {};
|
|
}
|
|
|
|
print("/sys/lib/acid/coverage");
|