Compare commits

..

4 Commits

8 changed files with 74 additions and 25 deletions

52
.vscode/launch.json vendored
View File

@ -1,16 +1,13 @@
{
// Use IntelliSense to learn about possible attributes.
// Hover to view descriptions of existing attributes.
// For more information, visit: https://go.microsoft.com/fwlink/?linkid=830387
"version": "0.2.0",
"configurations": [
{
"name": "sum0_base AOT Array.Text Mmap.Text",
"name": "AOT Linux sum0_base",
"type": "lldb",
"request": "launch",
"program": "/home/christoph/Notes/TU/MastersThesis/FailNix/builds/2026-05-11T19:19:39_sum0_base-linux-aot/system.elf",
"program": "/home/christoph/Notes/TU/MastersThesis/FailNix/injections/2026-05-11T19:19:39_sum0_base-linux-aot/system.elf",
"args": [],
"cwd": "/home/christoph/Notes/TU/MastersThesis/FailNix/builds/2026-05-11T19:19:39_sum0_base-linux-aot",
"cwd": "/home/christoph/Notes/TU/MastersThesis/FailNix/injections/2026-05-11T19:19:39_sum0_base-linux-aot",
"initCommands": [
"settings set target.x86-disassembly-flavor intel",
"breakpoint set -b main",
@ -22,19 +19,21 @@
],
"sourceMap": {
"/build/source/core": "/home/christoph/Notes/TU/MastersThesis/05 WAMR/core",
"/home/christoph/Notes/TU/MastersThesis/FailNix/build-sum0_base": "/home/christoph/Notes/TU/MastersThesis/FailNix/builds/2026-05-11T19:19:39_sum0_base-linux-aot",
"/home/christoph/Notes/TU/MastersThesis/FailNix/build-sum0_base": "/home/christoph/Notes/TU/MastersThesis/FailNix/injections/2026-05-11T19:19:39_sum0_base-linux-aot",
},
},
{
"name": "sum0_base AOT Array.Text Mmap.Text --xip",
"name": "AOT Fail sum0_base (QEMU)",
"type": "lldb",
"request": "launch",
"program": "/home/christoph/Notes/TU/MastersThesis/FailNix/builds/2026-05-13T13:16:09_sum0_base-linux-aot/system.elf",
"args": [],
"cwd": "/home/christoph/Notes/TU/MastersThesis/FailNix/builds/2026-05-13T13:16:09_sum0_base-linux-aot",
"initCommands": [
"settings set target.x86-disassembly-flavor intel",
"breakpoint set -b main",
"preLaunchTask": "Launch QEMU (sum0_base fail-aot)",
"initCommands": ["settings set target.x86-disassembly-flavor intel"],
"processCreateCommands": ["gdb-remote localhost:9000", "continue"],
"targetCreateCommands": [
"target create /home/christoph/Notes/TU/MastersThesis/FailNix/injections/2026-04-27T21-42-42_sum0_base-fail-aot/system.elf",
],
"preRunCommands": [
"breakpoint set -b os_main",
"breakpoint set -b fail_start_trace",
"breakpoint set -b fail_stop_trace",
"breakpoint set -b fail_marker_positive",
@ -43,8 +42,31 @@
],
"sourceMap": {
"/build/source/core": "/home/christoph/Notes/TU/MastersThesis/05 WAMR/core",
"/home/christoph/Notes/TU/MastersThesis/FailNix/build-sum0_base": "/home/christoph/Notes/TU/MastersThesis/FailNix/builds/2026-05-13T13:16:09_sum0_base-linux-aot",
"/home/christoph/Notes/TU/MastersThesis/FailNix/build-sum0_base": "/home/christoph/Notes/TU/MastersThesis/FailNix/injections/2026-04-27T21-42-42_sum0_base-fail-aot",
},
},
{
"name": "fail-x86-tracing-dbg",
"type": "lldb",
"request": "launch",
"program": "/nix/store/z3cyzvdz8pbxccp9jyxgp57ccjjppi1j-fail-1.0.0/bin/fail-x86-tracing",
"args": [
"-q", "-f", "./bochs.rc",
"-Wf,--start-symbol=fail_start_trace",
"-Wf,--save-symbol=fail_start_trace",
"-Wf,--end-symbol=fail_stop_trace",
"-Wf,--state-file=./state",
"-Wf,--trace-file=./trace.pb",
"-Wf,--elf-file=./system.elf",
],
"cwd": "/home/christoph/Notes/TU/MastersThesis/FailNix/injections/2026-05-17T23-00-56_sum0_base-fail-aot",
"initCommands": [
"settings set target.x86-disassembly-flavor intel",
"breakpoint set -n GenericTracing::run()",
],
"sourceMap": {
"/home/fail/work": "/home/christoph/Notes/TU/MastersThesis/FailNix/fail/src",
},
}
],
}

25
.vscode/tasks.json vendored Normal file
View File

@ -0,0 +1,25 @@
{
"version": "2.0.0",
"tasks": [
{
"label": "Launch QEMU (sum0_base fail-aot)",
"type": "shell",
"command": "qemu-system-i386 -drive file=system.iso,media=cdrom -boot d -m 32 -S -gdb tcp::9000",
"options": {
"cwd": "/home/christoph/Notes/TU/MastersThesis/FailNix/injections/2026-04-27T21-42-42_sum0_base-fail-aot",
},
"isBackground": true,
"problemMatcher": {
"pattern": {
"regexp": "^(.*)$",
"message": 1,
},
"background": {
"activeOnStart": true,
"beginsPattern": ".",
"endsPattern": "^NEVER_MATCH$",
},
},
},
],
}

BIN
fail/bin/fail-x86-tracing (Stored with Git LFS)

Binary file not shown.

BIN
fail/bin/generic-experiment-client (Stored with Git LFS)

Binary file not shown.

BIN
fail/bin/generic-experiment-server (Stored with Git LFS)

Binary file not shown.

BIN
fail/bin/import-trace (Stored with Git LFS)

Binary file not shown.

BIN
fail/bin/prune-trace (Stored with Git LFS)

Binary file not shown.

View File

@ -455,6 +455,8 @@ rec {
version = "1.0.0";
src = ./.;
dontStrip = true;
nativeBuildInputs = with pkgs; [
autoPatchelfHook
];