run FullTraceImporter when importing trace + import --sources

WIP: currently the hosts are not generic and don't support different
targets

.gitignore

@@ -1,11 +1,8 @@
-/**/__pycache__
 /build-*
 /builds
 /ghidra/projects/**/*.lock*
 /mars-db.conf
 /.direnv
 /db.conf
+/fail/bin/resultbrowser/app/__pycache__
 /fail/bin/VisualFAIL/CONFIGURATION.php
-/qemu.log
-/dumps
-/charts

.gitmodules

@@ -1,9 +0,0 @@
-[submodule "fail/src"]
-	path = fail/src
-	url = git@gitos.rrze.fau.de:wasm-hardening/fail.git
-[submodule "wamr"]
-	path = wamr
-	url = ssh://git@git.cs.tu-dortmund.de:2222/christoph.urlacher/wamr.git
-[submodule "tacle-converter"]
-	path = tacle-converter
-	url = https://gitos.rrze.fau.de/i4/openaccess/tacle-bench-wasm-converter

.vscode/launch.json

@@ -1,72 +0,0 @@
-{
-  "version": "0.2.0",
-  "configurations": [
-    {
-      "name": "AOT Linux sum0_base",
-      "type": "lldb",
-      "request": "launch",
-      "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/injections/2026-05-11T19:19:39_sum0_base-linux-aot",
-      "initCommands": [
-        "settings set target.x86-disassembly-flavor intel",
-        "breakpoint set -b main",
-        "breakpoint set -b fail_start_trace",
-        "breakpoint set -b fail_stop_trace",
-        "breakpoint set -b fail_marker_positive",
-        "breakpoint set -b fail_marker_negative",
-        "breakpoint set -b invokeNative_Void",
-      ],
-      "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/injections/2026-05-11T19:19:39_sum0_base-linux-aot",
-      },
-    },
-    {
-      "name": "AOT Fail sum0_base (QEMU)",
-      "type": "lldb",
-      "request": "launch",
-      "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",
-        "breakpoint set -b fail_marker_negative",
-        "breakpoint set -b invokeNative_Void",
-      ],
-      "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/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",
-      },
-    }
-  ],
-}

.vscode/tasks.json

@@ -1,25 +0,0 @@
-{
-  "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$",
-        },
-      },
-    },
-  ],
-}

charts/single_result.r

@@ -0,0 +1,23 @@
+library(ggplot2)
+
+# Usage: Rscript single_result.r exp_abspath
+
+args <- commandArgs(trailingOnly = TRUE)
+experiment <- args[1]
+datafile <- paste(experiment, "/resultsdata.csv", sep = "")
+
+if (!file.exists(datafile)) {
+  print(paste("Input file", datafile, "is missing"))
+  stop()
+}
+
+data <- readr::read_csv(datafile)
+tibble::glimpse(data)
+
+plot <- ggplot(data, aes(x = benchmark, y = faults, fill = resulttype)) +
+  geom_col(position = "dodge") +
+  scale_y_log10() +
+  labs(x = "Benchmark", y = "Faults", fill = "Result Type") +
+  theme_minimal()
+
+ggsave(paste(experiment, "/single_result.svg", sep = ""), plot = plot)

charts/single_scatter.r

@@ -0,0 +1,26 @@
+library(ggplot2)
+
+# Usage: Rscript single_scatter.r exp_abspath
+
+# TODO: Allow filtering resulttypes (or at least exclude OK_MARKER)
+
+args <- commandArgs(trailingOnly = TRUE)
+experiment <- args[1]
+datafile <- paste(experiment, "/faults.csv", sep = "")
+
+if (!file.exists(datafile)) {
+  print(paste("Input file", datafile, "is missing"))
+  stop()
+}
+
+data <- readr::read_csv(datafile)
+data$fault_address <- strtoi(data$fault_address)
+tibble::glimpse(data)
+
+plot <- ggplot(data, aes(x = fault_address, y = faults)) +
+  geom_point(aes(color = resulttype)) +
+  scale_y_log10() +
+  labs(x = "Address", y = "Faults", color = "Type") +
+  theme_minimal()
+
+ggsave(paste(experiment, "/scatter.svg", sep = ""), plot = plot)

flake.lock

@@ -20,11 +20,11 @@
     },
     "nixpkgs": {
       "locked": {
-        "lastModified": 1776329215,
-        "narHash": "sha256-a8BYi3mzoJ/AcJP8UldOx8emoPRLeWqALZWu4ZvjPXw=",
+        "lastModified": 1773110118,
+        "narHash": "sha256-mPAG8phMbCReKSiKAijjjd3v7uVcJOQ75gSjGJjt/Rk=",
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "b86751bc4085f48661017fa226dee99fab6c651b",
+        "rev": "e607cb5360ff1234862ac9f8839522becb853bb9",
         "type": "github"
       },
       "original": {

flake.nix

@@ -12,8 +12,7 @@ rec {
     flake-utils,
   }:
   # Create a shell (and possibly package) for each possible system, not only x86_64-linux
-    flake-utils.lib.eachDefaultSystem (
-      system: let
+    flake-utils.lib.eachDefaultSystem (system: let
       # =========================================================================================
       # Define pkgs/stdenvs
       # =========================================================================================
@@ -36,22 +35,18 @@ rec {
       };
 
       boost_pkgs =
-          import
-          (builtins.fetchTarball {
+        import (builtins.fetchTarball {
           url = "https://github.com/NixOS/nixpkgs/archive/824421b1796332ad1bcb35bc7855da832c43305f.tar.gz";
           sha256 = "sha256:1w6cjnakz1yi66rs8c6nmhymsr7bj82vs2hz200ipi1sfiq8dy4y";
-          })
-          {
+        }) {
           inherit system;
         };
 
       libdwarf_pkgs =
-          import
-          (builtins.fetchTarball {
+        import (builtins.fetchTarball {
           url = "https://github.com/NixOS/nixpkgs/archive/f597e7e9fcf37d8ed14a12835ede0a7d362314bd.tar.gz";
           sha256 = "sha256:1l79hh7jh7m8yc5mvc8dbg6s8rf30bgm994kf07xriqbzwfn158r";
-          })
-          {
+        }) {
           inherit system;
         };
 
@@ -63,6 +58,43 @@ rec {
 
       # Setup the shell when entering the "nix develop" environment (bash script).
       shellHook = let
+        mkCmakeScript = type: let
+          typeLower = lib.toLower type;
+        in
+          pkgs.writers.writeFish "cmake-${typeLower}.fish" ''
+            cd $FLAKE_PROJECT_ROOT
+
+            echo "Removing build directory ./cmake-build-${typeLower}/"
+            rm -rf ./cmake-build-${typeLower}
+
+            echo "Creating build directory"
+            mkdir cmake-build-${typeLower}
+            cd cmake-build-${typeLower}
+
+            echo "Running cmake"
+            cmake -G "Unix Makefiles" -DCMAKE_BUILD_TYPE="${type}" -DCMAKE_EXPORT_COMPILE_COMMANDS="On" ..
+
+            echo "Linking compile_commands.json"
+            cd ..
+            ln -sf ./cmake-build-${typeLower}/compile_commands.json ./compile_commands.json
+          '';
+
+        cmakeDebug = mkCmakeScript "Debug";
+        cmakeRelease = mkCmakeScript "Release";
+
+        mkBuildScript = type: let
+          typeLower = lib.toLower type;
+        in
+          pkgs.writers.writeFish "cmake-build.fish" ''
+            cd $FLAKE_PROJECT_ROOT/cmake-build-${typeLower}
+
+            echo "Running cmake"
+            cmake --build .
+          '';
+
+        buildDebug = mkBuildScript "Debug";
+        buildRelease = mkBuildScript "Release";
+
         # Add project-local fish abbrs here
         abbrs = {
           fail = "perl ./scripts/menu.pl";
@@ -74,7 +106,7 @@ rec {
           # build-release = "${buildRelease}";
         };
 
-          eraseAbbr = name: value: "abbr --erase ${name} 2>/dev/null";
+        eraseAbbr = name: value: ''abbr --erase ${name} 2>/dev/null'';
         createAbbr = name: value: ''abbr -a ${name} "${value}"'';
 
         # This will be sourced by the global fish config if INIT_PROJECT_SHELL gets unset
@@ -113,16 +145,13 @@ rec {
       # Define custom dependencies
       # ===========================================================================================
 
-        python = pkgs.python314.withPackages (
-          p:
+      python = pkgs.python314.withPackages (p:
         with p; [
           setuptools
           flask
           flask-mysqldb
           pyyaml
-              tabulate
-            ]
-        );
+        ]);
 
       # perl = pkgs.perl.withPackages (p:
       #   with p; [
@@ -158,7 +187,6 @@ rec {
         '';
       };
 
-        # Provides clang to compile C++ to Wasm
       wasi-sdk = stdenv.mkDerivation rec {
         pname = "wasi-sdk";
         version = "29";
@@ -190,7 +218,6 @@ rec {
         '';
       };
 
-        # Provides the iwasm interpreter
       iwasm = stdenv.mkDerivation rec {
         pname = "iwasm";
         version = "2.4.4";
@@ -224,7 +251,6 @@ rec {
         '';
       };
 
-        # Provides the wamrc compiler
       wamrc = stdenv.mkDerivation rec {
         pname = "wamrc";
         version = "2.4.4";
@@ -258,6 +284,112 @@ rec {
         '';
       };
 
+      wamr = stdenv.mkDerivation {
+        pname = "wamr";
+        version = "2.4.4";
+
+        src = pkgs.fetchFromGitea {
+          domain = "gitea.local.chriphost.de";
+          owner = "christoph";
+          repo = "wamr";
+          rev = "fd69a4e76ec0d384bd79f514772b7dfa240fc0d7";
+          hash = "sha256-rlCx4isI0k6rC9E0hWIA9LeinqiACug7zxj9z/e4SBQ=";
+        };
+
+        dontBuild = true;
+        installPhase = ''
+          runHook preInstall
+
+          mkdir -p $out
+          cp -rv ./* $out/
+
+          runHook postInstall
+        '';
+      };
+
+      mkLibiwasm = {
+        buildenv,
+        platform,
+        buildtype,
+        cflags,
+        extraCmakeFlags ? [],
+      }:
+        buildenv.mkDerivation {
+          pname = "libiwasm";
+          version = "2.4.4";
+
+          src = pkgs.fetchFromGitea {
+            domain = "gitea.local.chriphost.de";
+            owner = "christoph";
+            repo = "wamr";
+
+            rev = "cda2009deb85511089b04b0ac736ad4da2d07e58";
+            hash = "sha256-CN6xTiwzF4Jbrpf21TF5c/C03Xb3urwkibRuIXjoU/w=";
+          };
+
+          nativeBuildInputs = with pkgs; [cmake];
+
+          dontStrip = true;
+          cmakeBuildType = buildtype;
+          cmakeFlags =
+            extraCmakeFlags
+            ++ [
+              "-DCMAKE_VERBOSE_MAKEFILE=ON"
+              "-DCMAKE_COLOR_DIAGNOSTICS=ON"
+
+              "-DWAMR_BUILD_PLATFORM=${platform}"
+              "-DWAMR_BUILD_TARGET=X86_32"
+              "-DWAMR_BUILD_AOT=1"
+              "-DWAMR_BUILD_WAMR_COMPILER=0"
+              "-DWAMR_BUILD_INTERP=1"
+              "-DWAMR_BUILD_FAST_INTERP=0"
+              "-DWAMR_BUILD_JIT=0"
+              "-DWAMR_BUILD_FAST_JIT=0"
+              "-DWAMR_BUILD_LIBC_BUILTIN=1"
+              "-DWAMR_BUILD_LIBC_WASI=0"
+              "-DWAMR_BUILD_SIMD=0"
+            ];
+
+          # Since GCC 15, implicit declarations are an error. Disable this.
+          NIX_CFLAGS_COMPILE = "-Wno-error=implicit-function-declaration " + cflags;
+        };
+
+      libiwasm-baremetal-debug = mkLibiwasm {
+        buildenv = i386_pkgs.stdenv;
+        platform = "baremetal";
+        buildtype = "Debug";
+        cflags = "-O0 -ggdb3";
+        extraCmakeFlags = [
+          "-DCMAKE_SYSTEM_NAME=Generic"
+          "-DCMAKE_SYSTEM_PROCESSOR=i386"
+          "-DCMAKE_TRY_COMPILE_TARGET_TYPE=STATIC_LIBRARY"
+        ];
+      };
+      libiwasm-baremetal-release = mkLibiwasm {
+        buildenv = i386_pkgs.stdenv;
+        platform = "baremetal";
+        buildtype = "MinSizeRel";
+        cflags = "-O2 -ggdb3 -DNDEBUG";
+        extraCmakeFlags = [
+          "-DCMAKE_SYSTEM_NAME=Generic"
+          "-DCMAKE_SYSTEM_PROCESSOR=i386"
+          "-DCMAKE_TRY_COMPILE_TARGET_TYPE=STATIC_LIBRARY"
+        ];
+      };
+
+      libiwasm-linux-debug = mkLibiwasm {
+        buildenv = pkgs.multiStdenv;
+        platform = "linux";
+        buildtype = "Debug";
+        cflags = "-O0 -ggdb3";
+      };
+      libiwasm-linux-release = mkLibiwasm {
+        buildenv = pkgs.multiStdenv;
+        platform = "linux";
+        buildtype = "MinSizeRel";
+        cflags = "-O2 -ggdb3 -DNDEBUG";
+      };
+
       # ===========================================================================================
       # Specify dependencies
       # https://nixos.org/manual/nixpkgs/stable/#ssec-stdenv-dependencies-overview
@@ -269,22 +401,18 @@ rec {
       # - Setup hooks, for example makeWrapper/autoPatchelfHook
       # - Interpreters needed by patchShebangs for build scripts (with the --build flag), which can be the case for e.g. perl
       nativeBuildInputs = with pkgs; [
-          cmake
+        just
         gdb
         xxd
         wabt
         grub2
         xorriso
         mariadb.client
-          # dbeaver-bin
-          # beekeeper-studio
-          # tableplus
-          lazysql
+        dbeaver-bin
         iwasm
         wamrc
         fail-bin
         php
-          qemu_kvm
 
         # perl
 
@@ -308,8 +436,6 @@ rec {
         version = "1.0.0";
         src = ./.;
 
-          dontStrip = true;
-
         nativeBuildInputs = with pkgs; [
           autoPatchelfHook
         ];
@@ -317,28 +443,17 @@ rec {
         buildInputs = with pkgs; [
           # FAIL runtime dependencies
           python # bochs-experiment-runner.py, resultbrowser.py
-
-            # For old VSS FAIL
-            # alsa-lib # libasound.so.2
-            # boost_pkgs.boost174 # libboost_coroutine.so.1.74.0, libboost_regex.so.1.74.0, libboost_thread.so.1.74.0
-            # capstone_4 # libcapstone.so.4
-            # libdwarf_pkgs.libdwarf # libdwarf.so.1
-            # elfutils # libelf.so.1
-            # mariadb # libmariadb.so.3
-            # libpcl # libpcl.so.1
-            # protobuf_21 # libprotobuf.so.32
-            # SDL # libSDL-1.2.so.0
-            # libx11 # libX11.so.6
-            # libxrandr # libXrandr.so.2
-            # libz # libz.so.1
-
-            # For current FAIL
-            boost183
-            capstone # libcapstone.so.5
+          alsa-lib # libasound.so.2
+          boost_pkgs.boost174 # libboost_coroutine.so.1.74.0, libboost_regex.so.1.74.0, libboost_thread.so.1.74.0
+          capstone_4 # libcapstone.so.4
           libdwarf_pkgs.libdwarf # libdwarf.so.1
           elfutils # libelf.so.1
           mariadb # libmariadb.so.3
+          libpcl # libpcl.so.1
           protobuf_21 # libprotobuf.so.32
+          SDL # libSDL-1.2.so.0
+          libx11 # libX11.so.6
+          libxrandr # libXrandr.so.2
           libz # libz.so.1
         ];
 
@@ -383,17 +498,22 @@ rec {
           # Dynamic libraries from buildinputs:
           # LD_LIBRARY_PATH = pkgs.lib.makeLibraryPath buildInputs;
 
-            # Those are read by compile.pl / build.pl
+          JUST_WORKING_DIRECTORY = "/home/christoph/Notes/TU/MastersThesis/FailNix";
+          JUST_JUSTFILE = "/home/christoph/Notes/TU/MastersThesis/FailNix/scripts/nixos.just";
+
+          # Those are read by the justfile
           FAIL_SHARE = "${fail-bin}/share";
-            FAIL_PYTHON = "${python}/bin/python";
           WASI_ROOT = wasi-sdk;
-            WAMR_ROOT = "/home/christoph/Notes/TU/MastersThesis/FailNix/wamr";
+          WAMR_ROOT = wamr;
+          LIBIWASM_DEBUG = "${libiwasm-baremetal-debug}/lib";
+          LIBIWASM_RELEASE = "${libiwasm-baremetal-release}/lib";
+          LIBIWASM_LINUX_DEBUG = "${libiwasm-linux-debug}/lib";
+          LIBIWASM_LINUX_RELEASE = "${libiwasm-linux-release}/lib";
           CROSS_CC = "${i386_pkgs.stdenv.cc}/bin/i386-elf-gcc";
           CROSS_CXX = "${i386_pkgs.stdenv.cc}/bin/i386-elf-g++";
           LINUX_CC = "${pkgs.multiStdenv.cc}/bin/gcc";
           LINUX_CXX = "${pkgs.multiStdenv.cc}/bin/g++";
         };
       };
-      }
-    );
+    });
 }

ghidra/06-09_13-57-11_sum0_c_fail.rep/projectState

@@ -1,15 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<PROJECT>
-    <PROJECT_DATA_XML_NAME NAME="DISPLAY_DATA">
-        <SAVE_STATE>
-            <ARRAY NAME="EXPANDED_PATHS" TYPE="string">
-                <A VALUE="06-09_13-57-11_sum0_c_fail:" />
-            </ARRAY>
-            <STATE NAME="SHOW_TABLE" TYPE="boolean" VALUE="false" />
-        </SAVE_STATE>
-    </PROJECT_DATA_XML_NAME>
-    <TOOL_MANAGER ACTIVE_WORKSPACE="Workspace">
-        <WORKSPACE NAME="Workspace" ACTIVE="true" />
-    </TOOL_MANAGER>
-</PROJECT>
-

ghidra/06-09_22-34-26_sum0_aot_fail.rep/projectState

@@ -1,15 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<PROJECT>
-    <PROJECT_DATA_XML_NAME NAME="DISPLAY_DATA">
-        <SAVE_STATE>
-            <ARRAY NAME="EXPANDED_PATHS" TYPE="string">
-                <A VALUE="06-09_22-34-26_sum0_aot_fail:" />
-            </ARRAY>
-            <STATE NAME="SHOW_TABLE" TYPE="boolean" VALUE="false" />
-        </SAVE_STATE>
-    </PROJECT_DATA_XML_NAME>
-    <TOOL_MANAGER ACTIVE_WORKSPACE="Workspace">
-        <WORKSPACE NAME="Workspace" ACTIVE="true" />
-    </TOOL_MANAGER>
-</PROJECT>
-

ghidra/06-10_21-32-23_sum0_interp_fail.rep/projectState

@@ -1,15 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<PROJECT>
-    <PROJECT_DATA_XML_NAME NAME="DISPLAY_DATA">
-        <SAVE_STATE>
-            <ARRAY NAME="EXPANDED_PATHS" TYPE="string">
-                <A VALUE="06-10_21-32-23_sum0_interp_fail:" />
-            </ARRAY>
-            <STATE NAME="SHOW_TABLE" TYPE="boolean" VALUE="false" />
-        </SAVE_STATE>
-    </PROJECT_DATA_XML_NAME>
-    <TOOL_MANAGER ACTIVE_WORKSPACE="Workspace">
-        <WORKSPACE NAME="Workspace" ACTIVE="true" />
-    </TOOL_MANAGER>
-</PROJECT>
-

ghidra/scripts/ImportMarkersAsBookmarks.java

@@ -33,8 +33,8 @@ public class ImportMarkersAsBookmarks extends GhidraScript {
     int skipped = 0;
     int lineNo = 0;
 
-    // CSV columns: (benchmark, resulttype, faults, fault_address, mnemonic)
-    // Example:     (ip       , OK_MARKER , 4311  , 0x10001B     , mov)
+    // CSV columns: (benchmark, resulttype, faults, fault_address)
+    // Example:     (ip       , OK_MARKER , 4311  , 0x10001B     )
     try (BufferedReader br = new BufferedReader(new FileReader(input))) {
       String line;
       while ((line = br.readLine()) != null) {
@@ -47,7 +47,7 @@ public class ImportMarkersAsBookmarks extends GhidraScript {
 
         // Make sure to always use "," delimiter and never quotations
         String[] parts = line.split(",");
-        if (parts.length != 5) {
+        if (parts.length != 4) {
           skipped++;
           printerr("Line " + lineNo + ": malformed");
           continue;
@@ -57,13 +57,11 @@ public class ImportMarkersAsBookmarks extends GhidraScript {
         String typeText = parts[1].trim();
         String countText = parts[2].trim();
         String addrText = parts[3].trim();
-        String mnemonicText = parts[4].trim();
 
         if (benchText.isEmpty()
             || typeText.isEmpty()
             || countText.isEmpty()
-            || addrText.isEmpty()
-            || mnemonicText.isEmpty()) {
+            || addrText.isEmpty()) {
           skipped++;
           printerr("Line " + lineNo + ": malformed");
           continue;