Skip to content

@rems-project REMS

Change the repository type filter

All

    Repositories list

    55 repositories

    • sail

      Public
      Sail architecture definition language
      Isabelle
      •
      Other
      •104•594•140•12•Updated Oct 7, 2024Oct 7, 2024

    • cerberus

      Public
      Cerberus C semantics
      OCaml
      •
      Other
      •28•50•211•13•Updated Oct 6, 2024Oct 6, 2024

    • cn-tutorial

      Public
      C
      •8•7•12•6•Updated Oct 4, 2024Oct 4, 2024

    • coq-sail

      Public
      Coq support library for Sail instruction set models
      Coq
      •
      Other
      •2•3•0•0•Updated Oct 4, 2024Oct 4, 2024

    • tree-sitter-core

      Public
      tree-sitter grammar for Cerberus Core language
      JavaScript
      •0•1•0•0•Updated Oct 3, 2024Oct 3, 2024

    • coq-cheri-capabilities

      Public
      This repository contains an abstract implementation in Coq of CHERI capabilities, and a concrete implementation for Arm Morello.
      Coq
      •0•1•1•0•Updated Oct 2, 2024Oct 2, 2024

    • isla

      Public
      Symbolic execution tool for Sail ISA specifications
      Rust
      •
      Other
      •10•62•7•26•Updated Oct 2, 2024Oct 2, 2024

    • llvm-project

      Public
      This is the fork of CHERI LLVM for CHERI-related Clang Static Analyzer development.
      C++
      •39•0•0•0•Updated Sep 30, 2024Sep 30, 2024

    • sail-arm

      Public
      Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model
      Isabelle
      •
      Other
      •18•71•12•4•Updated Sep 26, 2024Sep 26, 2024

    • pkvm-tester

      Public
      Test scaffolding for pKVM
      Shell
      •1•1•0•1•Updated Sep 23, 2024Sep 23, 2024

    • linux

      Public
      Linux fork used in the REMS project. Mostly working of pKVM developement at: https://android-kvm.googlesource.com/linux/
      C
      •
      Other
      •0•1•0•0•Updated Sep 13, 2024Sep 13, 2024

    • c-tree-carver

      Public
      Tree-carve C source tree given a root file/functions
      C++
      •
      Other
      •3•3•1•0•Updated Sep 12, 2024Sep 12, 2024

    • cn-pKVM-buddy-allocator-case-study

      Public
      C
      •0•3•0•0•Updated Sep 11, 2024Sep 11, 2024

    • islaris

      Public
      isla coq infrastructure
      Coq
      •
      Other
      •1•11•1•2•Updated Sep 11, 2024Sep 11, 2024

    • isla-lang

      Public
      Isla-lang is an ocaml parser (and pretty printer) for isla instruction trace syntax
      Coq
      •
      Other
      •1•1•0•1•Updated Aug 19, 2024Aug 19, 2024

    • pkvm-proxy-ocaml

      Public
      Ocaml library to talk to pKVM-proxy, and tests written on top of it
      OCaml
      •0•1•0•0•Updated Aug 10, 2024Aug 10, 2024

    • rmem

      Public
      rmem public repo
      JavaScript
      •
      Other
      •9•40•7•1•Updated Jul 29, 2024Jul 29, 2024

    • system-semantics-arm-axiomatic-models

      Public
      Isla-compatible systems-level tests
      Python
      •
      Other
      •1•1•0•0•Updated Jul 11, 2024Jul 11, 2024

    • system-litmus-harness

      Public
      test harness for systems-concurrency litmus tests, as a QEMU guest
      C
      •
      Other
      •2•1•0•0•Updated Jul 1, 2024Jul 1, 2024

    • cheribuild

      Public
      Easily build and run CHERI related projects
      Python
      •
      Other
      •45•0•0•0•Updated Jun 24, 2024Jun 24, 2024

    • cheribsd-ports

      Public
      FreeBSD ports tree adapted for CheriBSD.
      Other
      •748•0•0•0•Updated Jun 14, 2024Jun 14, 2024

    • asl_to_sail

      Public
      ASL to Sail translation tool
      OCaml
      •
      Other
      •2•6•0•0•Updated Jun 6, 2024Jun 6, 2024

    • isla-snapshots

      Public
      Compiled Sail ISA snapshots for the Isla symbolic execution tool
      3•4•0•1•Updated Apr 19, 2024Apr 19, 2024

    • isla-sail-riscv

      Public
      Adaption of the RISC-V Sail model for Isla
      Coq
      •
      Other
      •1•1•0•0•Updated Apr 19, 2024Apr 19, 2024

    • linux-pkvm-sliced

      Public
      0•0•0•0•Updated Mar 21, 2024Mar 21, 2024

    • lem

      Public
      Lem semantic definition language
      OCaml
      •
      Other
      •15•130•10•2•Updated Mar 7, 2024Mar 7, 2024

    • keystone-ocaml

      Public
      Ocaml bindings to the Keystone Engine assembler
      OCaml
      •0•0•0•0•Updated Jan 30, 2024Jan 30, 2024

    • linux-tests

      Public
      Small user-mode test programs for linux and pKVM. Fork of https://android-kvm.googlesource.com/misc/
      C
      •0•0•0•0•Updated Dec 15, 2023Dec 15, 2023

    • isla-testgen

      Public
      ISA automatic test generator using the isla symbolic execution tool
      Rust
      •
      Other
      •1•2•0•1•Updated Dec 11, 2023Dec 11, 2023

    • CN2Islaris

      Public
      Coq
      •0•0•0•0•Updated Oct 20, 2023Oct 20, 2023