christoph/failnix
1
Fork 0
Code Releases Activity

capture stderr in runner.pl

Browse Source
This commit is contained in:
Christoph Urlacher
2026-05-21 00:27:03 +02:00
parent 0cb829ccf4
commit 2c43e630f0
1 changed files with 58 additions and 60 deletions
Download Patch File Download Diff File Expand all files Collapse all files

118
scripts/runner.pl
View File

@ -55,7 +55,7 @@ sub trace {
# "-Wf,--full-trace", # "-Wf,--full-trace",
# "-Wf,--check-bounds", # "-Wf,--check-bounds",
">$remote_builds_dir/$experiment/1_trace.log" ">$remote_builds_dir/$experiment/1_trace.log 2>&1"
); );
say "Trace command: $trace_command"; say "Trace command: $trace_command";
@ -78,10 +78,9 @@ sub import_trace {
"-b ip", "-b ip",
"--no-gp", # Don't inject general purpose registers "--no-gp", # Don't inject general purpose registers
"--ip", # Inject instruction pointer "--ip", # Inject instruction pointer
">$remote_builds_dir/$experiment/2_import_ip.log" ">$remote_builds_dir/$experiment/2_import_ip.log 2>&1"
); );
say "Import IP command: $import_ip_command"; say "Import IP command: $import_ip_command";
system($import_ip_command); system($import_ip_command);
# Benchmark: mem # Benchmark: mem
@ -94,10 +93,9 @@ sub import_trace {
"-e $remote_builds_dir/$experiment/system.elf", "-e $remote_builds_dir/$experiment/system.elf",
"-v $experiment", "-v $experiment",
"-b mem", "-b mem",
">$remote_builds_dir/$experiment/2_import_mem.log" ">$remote_builds_dir/$experiment/2_import_mem.log 2>&1"
); );
say "Import MEM command: $import_mem_command"; say "Import MEM command: $import_mem_command";
system($import_mem_command); system($import_mem_command);
# Benchmark: regs # Benchmark: regs
@ -110,10 +108,9 @@ sub import_trace {
"-v $experiment", "-v $experiment",
"-b regs", "-b regs",
"--flags", # Inject flags register "--flags", # Inject flags register
">$remote_builds_dir/$experiment/2_import_regs.log" ">$remote_builds_dir/$experiment/2_import_regs.log 2>&1"
); );
say "Import REGS command: $import_regs_command"; say "Import REGS command: $import_regs_command";
system($import_regs_command); system($import_regs_command);
# Import fulltrace for VisualFAIL # Import fulltrace for VisualFAIL
@ -129,63 +126,64 @@ sub import_trace {
# ) # )
# ); # );
# Import disassembly/sources # Import disassembly/sources
system( my $import_ip_asm_command = join " ", (
join " ", "$fail_import",
( "--database-option-file $remote_db_conf",
"$fail_import", "-t $remote_builds_dir/$experiment/trace.pb",
"--database-option-file $remote_db_conf", "-i ElfImporter",
"-t $remote_builds_dir/$experiment/trace.pb", "-e $remote_builds_dir/$experiment/system.elf",
"-i ElfImporter", "-v $experiment",
"-e $remote_builds_dir/$experiment/system.elf", "-b ip",
"-v $experiment", "--objdump objdump",
"-b ip",
"--objdump objdump",
# "--sources", # "--sources",
) ">$remote_builds_dir/$experiment/2_import_ip_asm.log 2>&1"
); );
system( say "Import IP Asm command: $import_ip_asm_command";
join " ", system($import_ip_asm_command);
(
"$fail_import",
"--database-option-file $remote_db_conf",
"-t $remote_builds_dir/$experiment/trace.pb",
"-i ElfImporter",
"-e $remote_builds_dir/$experiment/system.elf",
"-v $experiment",
"-b mem",
"--objdump objdump",
# "--sources", my $import_mem_asm_command = join " ", (
) "$fail_import",
); "--database-option-file $remote_db_conf",
system( "-t $remote_builds_dir/$experiment/trace.pb",
join " ", "-i ElfImporter",
( "-e $remote_builds_dir/$experiment/system.elf",
"$fail_import", "-v $experiment",
"--database-option-file $remote_db_conf", "-b mem",
"-t $remote_builds_dir/$experiment/trace.pb", "--objdump objdump",
"-i ElfImporter",
"-e $remote_builds_dir/$experiment/system.elf",
"-v $experiment",
"-b regs",
"--objdump objdump",
# "--sources", # "--sources",
) ">$remote_builds_dir/$experiment/2_import_mem_asm.log 2>&1"
); );
say "Import Mem Asm command: $import_mem_asm_command";
system($import_mem_asm_command);
my $prune_command = join " ", my $import_regs_asm_command = join " ", (
( "$fail_import",
"--database-option-file $remote_db_conf",
"-t $remote_builds_dir/$experiment/trace.pb",
"-i ElfImporter",
"-e $remote_builds_dir/$experiment/system.elf",
"-v $experiment",
"-b regs",
"--objdump objdump",
# "--sources",
">$remote_builds_dir/$experiment/2_import_regs_asm.log 2>&1"
);
say "Import Regs Asm command: $import_regs_asm_command";
system($import_regs_asm_command);
my $prune_command = join " ", (
"$fail_prune", "--database-option-file $remote_db_conf", "$fail_prune", "--database-option-file $remote_db_conf",
"-v $experiment", "-b %%", "-v $experiment", "-b %%",
#'-p NoPruner',
`-p BasicPruner`,
"--overwrite", ">$remote_builds_dir/$experiment/2_prune.log"
);
say "Prune command: $prune_command";
#'-p NoPruner',
'-p BasicPruner',
"--overwrite", ">$remote_builds_dir/$experiment/2_prune.log 2>&1"
);
say "Prune command: $prune_command";
system($prune_command); system($prune_command);
} }
@ -203,7 +201,7 @@ sub inject {
"--database-option-file $remote_db_conf", "-v $experiment", "--database-option-file $remote_db_conf", "-v $experiment",
"-b %", "--inject-single-bit", "-b %", "--inject-single-bit",
"--inject-registers", "--inject-registers",
">$remote_builds_dir/$experiment/3_server.log" ">$remote_builds_dir/$experiment/3_server.log 2>&1"
); );
say "Server command: $server_command"; say "Server command: $server_command";
@ -230,9 +228,9 @@ sub inject {
# Called in WAMR exception handler # Called in WAMR exception handler
"-Wf,--group1-marker=fail_marker_group1", "-Wf,--group1-marker=fail_marker_group1",
">/dev/null" ">/dev/null 2>&1"
# ">$remote_builds_dir/$experiment/4_client.log" # ">$remote_builds_dir/$experiment/4_client.log 2>&1"
); );
say "Client command: $client_command"; say "Client command: $client_command";