Exercise all bpf instructions

.github/workflows/main.yml

@@ -38,6 +38,7 @@ jobs:
         export RUSTFLAGS="-D warnings"
         cargo build --verbose
         cargo test --verbose
+        cargo test --test exercise_instructions --verbose
       shell: bash
     - name: CLI - Lint
       run: |

src/static_analysis.rs

@@ -180,7 +180,9 @@ impl<'a> Analysis<'a> {
         }
         let mut result = Self {
             // Removes the generic ContextObject which is safe because we are not going to execute the program
-            executable: unsafe { std::mem::transmute(executable) },
+            executable: unsafe {
+                std::mem::transmute::<&Executable<C>, &Executable<TestContextObject>>(executable)
+            },
             instructions,
             functions,
             cfg_nodes: BTreeMap::new(),