Repositories list

• RSVP

  Public
  Policy verification

  Java

  •0•2•1•1•Updated Feb 20, 2026Feb 20, 2026

• BASIL

  Public
  The Basil pipeline for concurrent information flow analysis in AArch64 binaries.

  Scala

  •

  Apache License 2.0

  •4•17•88•17•Updated Feb 18, 2026Feb 18, 2026

• rif

  Public
  Tool to implement RIF checks

  OCaml

  •0•0•0•0•Updated Feb 12, 2026Feb 12, 2026

• ocaml-cvc5

  Public
  OCaml bindings for the cvc5 SMT solver

  C++

  •

  MIT License

  •3•0•0•0•Updated Feb 11, 2026Feb 11, 2026

• opam-repository

  Public
  Shell

  •0•0•1•0•Updated Feb 9, 2026Feb 9, 2026

• aslp-rpc

  Public
  RPC connectors for aslp for OCaml and c++

  OCaml

  •

  Apache License 2.0

  •1•3•0•1•Updated Feb 9, 2026Feb 9, 2026

• aslp

  Public
  Partial evaluator for Arm's Architecture Specification Language (ASL)

  OCaml

  •

  Other

  •38•16•13•7•Updated Feb 9, 2026Feb 9, 2026

• gtirb-semantics

  Public
  Add instruction semantics to the IR of a dissassembled ARM64 binary

  Python

  •

  Apache License 2.0

  •2•6•2•3•Updated Nov 18, 2025Nov 18, 2025

• basil-ir

  Public
  Isabelle

  •0•1•0•0•Updated Oct 30, 2025Oct 30, 2025

• basls

  Public
  simple language server for Basil IL

  OCaml

  •

  Apache License 2.0

  •0•0•5•0•Updated Oct 27, 2025Oct 27, 2025

• clang-toolchain

  Public
  Shell

  •0•0•0•0•Updated Sep 23, 2025Sep 23, 2025

• sail

  Public
  Sail architecture definition language

  Sail

  •

  Other

  •149•1•0•0•Updated Jul 8, 2025Jul 8, 2025

• basil-tests-regression

  Public
  Boogie

  •0•0•0•0•Updated Jun 16, 2025Jun 16, 2025

• uq-pac.github.io

  Public
  HTML

  •0•0•0•0•Updated Jun 3, 2025Jun 3, 2025

• bap-asli-plugin

  Public
  BAP ASLi Lifter Plugin

  OCaml

  •0•1•1•0•Updated Apr 16, 2025Apr 16, 2025

• cntlm

  Public
  Cntlm fork

  C

  •

  GNU General Public License v2.0

  •43•0•0•0•Updated Mar 18, 2025Mar 18, 2025

• mra_tools

  Public
  Tools to process ARM's Machine Readable Architecture Specification

  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •24•1•0•0•Updated Jan 22, 2025Jan 22, 2025

• .github

  Public
  Apache License 2.0

  •0•0•0•0•Updated Jun 20, 2024Jun 20, 2024

• wpif_CSF21

  Public
  Isabelle theories for CSF'21 paper

  Isabelle

  •0•0•0•0•Updated May 23, 2024May 23, 2024

• wmm-rg

  Public
  Rely/guarantee logic for weak memory models based on interfering thread-local instruction pairs

  Isabelle

  •0•1•0•0•Updated Apr 29, 2024Apr 29, 2024

• aslp-lifter-cpp

  Public
  Source files for an ARM lifter, generated by ASLp's offline partial evaluation

  C++

  •0•5•0•0•Updated Apr 9, 2024Apr 9, 2024

• RG_Gen

  Public
  C++

  •0•0•0•0•Updated Oct 31, 2023Oct 31, 2023

• llvm-translator

  Public
  C++

  •2•13•0•0•Updated Sep 25, 2023Sep 25, 2023

• bap

  Public
  Binary Analysis Platform

  OCaml

  •

  MIT License

  •282•0•1•0•Updated Jun 15, 2023Jun 15, 2023

• DafnyInfoFlow

  Public
  An extension of the Dafny programming language that adds the ability to perform information flow analysis on a code file. The method of information flow analysi…

  C#

  •1•0•0•0•Updated Jan 11, 2023Jan 11, 2023

• boogie

  Public
  Boogie

  Boogie

  •

  MIT License

  •120•0•0•0•Updated Nov 23, 2022Nov 23, 2022

• barrier-tools

  Public
  BAP plugin for lifting ARMv8 barriers, associated tools and examples.

  OCaml

  •0•3•0•0•Updated Oct 6, 2022Oct 6, 2022

• qemu

  Public
  Official QEMU mirror

  C

  •

  Other

  •6.5k•0•0•0•Updated Aug 15, 2022Aug 15, 2022

• predicate-simplifier

  Public
  A command-line tool for converting predicates into simplified CNF or DNF.

  Python

  •0•0•0•0•Updated Mar 2, 2022Mar 2, 2022

• wptool

  Public
  WP tool for information flow security

  Scala

  •1•0•0•0•Updated Jul 28, 2021Jul 28, 2021