Repositories list

• translator

  Public
  A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.

  lifterllvm-irarm32

  C++

  •

  Other

  •0•13•0•0•Updated Oct 20, 2022Oct 20, 2022

• Gitbook

  Public
  0•0•0•0•Updated Sep 30, 2022Sep 30, 2022

• inception

  Public
  1•25•1•0•Updated Sep 30, 2022Sep 30, 2022

• usenix-samples

  Public
  Samples mentioned in the USENIX paper.

  LLVM

  •4•3•0•0•Updated Aug 18, 2022Aug 18, 2022

• steroids-pcb

  Public
  Open source PCB design for Steroids

  GNU Affero General Public License v3.0

  •0•1•0•0•Updated Dec 18, 2020Dec 18, 2020

• ez-usb-fx3

  Public
  Cypress FX3 firmware for the usb3-to-jtag device. See inception-framework for details.

  2•6•0•0•Updated Sep 2, 2020Sep 2, 2020

• debugger

  Public
  A low-latency USB3-based JTAG debugger.

  debuggerfpgazynq+ 2zedboardusb3

  VHDL

  •

  Other

  •1•5•0•0•Updated Apr 13, 2020Apr 13, 2020

• analyzer

  Public
  C++

  •

  Other

  •0•2•0•0•Updated Feb 10, 2020Feb 10, 2020

• docker

  Public
  Dockerfile

  •3•8•0•0•Updated Jan 22, 2020Jan 22, 2020

• lpc18xx-demos

  Public
  testingsecurityanalysis+ 3firmwareinceptionre-hosting

  C

  •0•0•0•0•Updated Sep 30, 2019Sep 30, 2019

• klee

  Public
  KLEE Symbolic Execution Engine

  C++

  •

  Other

  •682•0•0•0•Updated Sep 20, 2019Sep 20, 2019

• tutorial

  Public
  A very simple tutorial to get started with Inception

  Assembly

  •

  Other

  •4•7•0•0•Updated Sep 4, 2018Sep 4, 2018

• verification

  Public
  C

  •

  Other

  •2•1•0•0•Updated Aug 14, 2018Aug 14, 2018

• stm32-demos

  Public
  C

  •0•0•0•0•Updated Aug 13, 2018Aug 13, 2018

• mini-arm-os

  Public
  Shell

  •0•0•0•0•Updated Aug 13, 2018Aug 13, 2018

• libopencm3-examples

  Public
  Shell

  •0•0•0•0•Updated Aug 10, 2018Aug 10, 2018

• debugger-driver

  Public
  C++

  •

  GNU Lesser General Public License v3.0

  •0•0•0•0•Updated Aug 6, 2018Aug 6, 2018