[WIP] cargo-checkct

Author: tarcieri

.github/workflows/cargo-checkct.yml

@@ -0,0 +1,23 @@
+name: cargo-checkct
+
+on:
+  pull_request:
+    paths-ignore:
+      - README.md
+  push:
+    branches:
+      - master
+    paths-ignore:
+      - README.md
+
+env:
+  CARGO_INCREMENTAL: 0
+  RUSTFLAGS: "-Dwarnings"
+  RUSTDOCFLAGS: "-Dwarnings"
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    uses: Ledger-Donjon/action-cargo-checkct
+    with:
+      directory: .

checkct/.cargo/config.toml

@@ -0,0 +1,10 @@
+[build]
+target = ["thumbv7em-none-eabihf", "riscv32imac-unknown-none-elf", "x86_64-unknown-linux-gnu"]
+
+[target.'cfg(target_os = "linux")']
+rustflags = ["-C", "link-arg=-nostartfiles", "-C", "relocation-model=static"]
+
+[unstable]
+unstable-options = true
+build-std = ["core", "panic_abort"]
+build-std-features = ["panic_immediate_abort", "compiler-builtins-mem"]

checkct/Cargo.lock

@@ -0,0 +1,7 @@
+[workspace]
+members = ["driver"]
+resolver = "2"
+
+[profile.release]
+debug = true
+panic = "abort"

checkct/Cargo.toml

@@ -0,0 +1,10 @@
+[package]
+name = "driver"
+version = "0.0.0"
+publish = false
+edition = "2021"
+
+[dependencies]
+rand_core = "0.6.4"
+checkct_macros = { path = "../../../../cargo-checkct/checkct_macros" }
+crypto-bigint = { path = "../.." }

checkct/driver/Cargo.toml

@@ -0,0 +1,7 @@
+use crate::rng::{CryptoRng, PrivateRng, PublicRng, RngCore};
+use checkct_macros::checkct;
+
+#[checkct]
+pub fn checkct() {
+    // USER CODE GOES HERE
+}

checkct/driver/src/driver.rs

@@ -0,0 +1,17 @@
+//----- AUTOGENERATED BY CARGO-CHECKCT: DO NOT MODIFY -----
+//
+#![no_std]
+#![no_main]
+
+mod driver;
+mod rng;
+
+#[no_mangle]
+pub extern "C" fn _start() -> ! {
+    panic!()
+}
+
+#[panic_handler]
+fn panic(_info: &core::panic::PanicInfo) -> ! {
+    loop {}
+}

checkct/driver/src/main.rs

@@ -0,0 +1,83 @@
+//----- AUTOGENERATED BY CARGO-CHECKCT: DO NOT MODIFY -----
+//
+#[no_mangle]
+#[inline(never)]
+pub fn __checkct_private_rand() -> u8 {
+    unsafe { core::ptr::read_volatile(0xcafe as *const u8) }
+}
+
+#[no_mangle]
+#[inline(never)]
+pub fn __checkct_public_rand() -> u8 {
+    unsafe { core::ptr::read_volatile(0xf00d as *const u8) }
+}
+
+pub use rand_core::{CryptoRng, RngCore};
+
+pub struct PrivateRng;
+
+impl PrivateRng {
+    pub const fn new() -> Self {
+        Self
+    }
+}
+
+impl RngCore for PrivateRng {
+    fn next_u32(&mut self) -> u32 {
+        (__checkct_private_rand() as u32) << 24
+            | (__checkct_private_rand() as u32) << 16
+            | (__checkct_private_rand() as u32) << 8
+            | (__checkct_private_rand() as u32)
+    }
+
+    fn next_u64(&mut self) -> u64 {
+        (self.next_u32() as u64) << 32 | (self.next_u32() as u64)
+    }
+
+    fn fill_bytes(&mut self, dest: &mut [u8]) {
+        for d in dest {
+            *d = __checkct_private_rand();
+        }
+    }
+
+    fn try_fill_bytes(&mut self, dest: &mut [u8]) -> Result<(), rand_core::Error> {
+        self.fill_bytes(dest);
+        Ok(())
+    }
+}
+
+impl CryptoRng for PrivateRng {}
+
+pub struct PublicRng;
+
+impl PublicRng {
+    pub const fn new() -> Self {
+        Self
+    }
+}
+
+impl RngCore for PublicRng {
+    fn next_u32(&mut self) -> u32 {
+        (__checkct_public_rand() as u32) << 24
+            | (__checkct_public_rand() as u32) << 16
+            | (__checkct_public_rand() as u32) << 8
+            | (__checkct_public_rand() as u32)
+    }
+
+    fn next_u64(&mut self) -> u64 {
+        (self.next_u32() as u64) << 32 | (self.next_u32() as u64)
+    }
+
+    fn fill_bytes(&mut self, dest: &mut [u8]) {
+        for d in dest {
+            *d = __checkct_public_rand();
+        }
+    }
+
+    fn try_fill_bytes(&mut self, dest: &mut [u8]) -> Result<(), rand_core::Error> {
+        self.fill_bytes(dest);
+        Ok(())
+    }
+}
+
+impl CryptoRng for PublicRng {}

checkct/driver/src/rng.rs

@@ -0,0 +1,5 @@
+[toolchain]
+channel = "nightly"
+targets = ["thumbv7em-none-eabihf", "riscv32imac-unknown-none-elf", "x86_64-unknown-linux-gnu"]
+profile = "minimal"
+components = ["rustfmt", "rust-src"]