minor

Signed-off-by: Elazar Gershuni <[email protected]>

src/asm_cfg.cpp

@@ -370,7 +370,7 @@ cfg_t prepare_cfg(const InstructionSeq& prog, const program_info& info, const pr
             [&](const label_t& label) { det_cfg.get_node(label).insert_front({.cmd = IncrementLoopCounter{label}}); });
     }
 
-    // Annotate the CFG by adding in assertions before every memory Instruction.
+    // Annotate the CFG by adding in assertions before every memory instruction.
     explicate_assertions(det_cfg, info);
 
     // Translate conditional jumps to non-deterministic jumps.

src/asm_files.cpp

@@ -200,7 +200,7 @@ void relocate_map(ebpf_inst& inst, const std::string& symbol_name,
 // are loaded and can be appended to the calling program.
 struct function_relocation {
     size_t prog_index{};              // Index of source program in vector of raw programs.
-    ELFIO::Elf_Xword source_offset{}; // GuardedInstruction offset in source section of source instruction.
+    ELFIO::Elf_Xword source_offset{}; // Instruction offset in source section of source instruction.
     ELFIO::Elf_Xword relocation_entry_index{};
     string target_function_name;
 };

src/asm_unmarshal.hpp

@@ -15,7 +15,7 @@
  *
  *  \param raw_prog is the input program to parse.
  *  \param[out] notes is a vector for storing errors and warnings.
- *  \return a sequence of GuardedInstruction if successful, an error string otherwise.
+ *  \return a sequence of instructions if successful, an error string otherwise.
  */
 std::variant<InstructionSeq, std::string> unmarshal(const raw_program& raw_prog,
                                                     std::vector<std::vector<std::string>>& notes);

src/ebpf_vm_isa.hpp

@@ -4,7 +4,7 @@
 #include <cinttypes>
 #include <tuple>
 
-// Header describing the GuardedInstruction Set Architecture (ISA)
+// Header describing the Instruction Set Architecture (ISA)
 // for the eBPF virtual machine.
 // See https://github.com/ebpffoundation/ebpf-docs/blob/update/rst/instruction-set.rst
 // for documentation.