48 code experimentation setup

.github/workflows/ci.yml

@@ -8,48 +8,57 @@ env:
   CARGO_TERM_COLOR: always
 
 jobs:
-  # This job handles all testing
-  test-compiler:
+  # Now we split the builds into separate jobs
+  build-compiler:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
       - uses: dtolnay/rust-toolchain@stable
-      # ... (insert your cache step here) ...
 
-      - name: Compiler Tests
+      - name: Install ARM tools
+        run: sudo apt-get update && sudo apt-get install -y gcc-arm-none-eabi qemu-user
+
+      - name: Build Compiler
         working-directory: ./compiler
-        run: cargo test
-  
-  test-interpreter:
+        run: cargo build --release
+
+  build-interpreter:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
       - uses: dtolnay/rust-toolchain@stable
-      # ... (insert your cache step here) ...
 
-      - name: Interpreter Tests
+      - name: Install ARM tools
+        run: sudo apt-get update && sudo apt-get install -y gcc-arm-none-eabi qemu-user
+
+      - name: Build Interpreter
         working-directory: ./interpreter
-        run: cargo test
+        run: cargo build --release
 
-  # Now we split the builds into separate jobs
-  build-compiler:
+  # This job handles all testing
+  test-compiler:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
       - uses: dtolnay/rust-toolchain@stable
-      # ... (insert your cache step here) ...
 
-      - name: Build Compiler
+      - name: Install ARM tools
+        run: sudo apt-get update && sudo apt-get install -y gcc-arm-none-eabi qemu-user
+
+      - name: Compiler Tests
         working-directory: ./compiler
-        run: cargo build --release
-
-  build-interpreter:
+        run: cargo test
+  
+  test-interpreter:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
       - uses: dtolnay/rust-toolchain@stable
-      # ... (insert your cache step here) ...
 
-      - name: Build Interpreter
+      - name: Install ARM tools
+        run: sudo apt-get update && sudo apt-get install -y gcc-arm-none-eabi qemu-user
+
+      - name: Interpreter Tests
         working-directory: ./interpreter
-        run: cargo build --release
+        run: cargo test
+

.gitignore

@@ -17,3 +17,6 @@
 /testing/bin
 /testing/artifacts
 /testing/src/__pycache__
+/testing/[0-9]*-*/
+/testing/hardened.asm
+/testing/out.asm

.gitmodules

@@ -0,0 +1,3 @@
+[submodule "minimc"]
+	path = minimc
+	url = https://github.com/dannybpoulsen/minimc

compiler/fissc/crt-rsa.trv

@@ -113,7 +113,7 @@ func main() -> Integer {
 
   g_sign = tmp;
 
-  print("g_sign herro = ", 1337);
+  print("g_sign = ", g_sign);
   print("g_countermeasure: ", g_countermeasure);
 
   return g_sign;

compiler/fissc/verifypin.trv

@@ -0,0 +1,59 @@
+func main() -> Integer {
+  let ptc : Integer = 3;
+  let authenticated : Integer = 0;
+  let cardPin1 : Integer = 1;
+  let cardPin2 : Integer = 2;
+  let cardPin3 : Integer = 3;
+  let cardPin4 : Integer = 4;
+  let userPin1 : Integer = 0;
+  let userPin2 : Integer = 0;
+  let userPin3 : Integer = 0;
+  let userPin4 : Integer = 0;
+
+  authenticated = 0;
+
+  if ptc > 0 then {
+    let pinsEqual : Integer = 1;
+    if userPin1 != cardPin1 then {
+      pinsEqual = 0;
+    }
+    else {
+      pinsEqual = 1;
+    }
+
+    if userPin2 != cardPin2 then {
+      pinsEqual = 0;
+    }
+    else {
+      pinsEqual = 1;
+    }
+
+    if userPin3 != cardPin3 then {
+      pinsEqual = 0;
+    }
+    else {
+      pinsEqual = 1;
+    }
+
+    if userPin4 != cardPin4 then {
+      pinsEqual = 0;
+    } 
+    else {
+      pinsEqual = 1;
+    }
+
+    if pinsEqual == 1 then {
+      ptc = 3;
+      authenticated = 1;
+    } else {
+      ptc = ptc - 1;
+    }
+  }
+  else {
+    let x : Integer = 1;
+  }
+  print("g_authenticated: ", authenticated);
+  print("g_ptc: ", ptc);
+
+  return authenticated;
+}