Inception

Inception's repositories

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

Language:C++NOASSERTION13 3 1

docker

Language:Dockerfile8 30

tutorial

A very simple tutorial to get started with Inception

Language:AssemblyNOASSERTION7 40

ez-usb-fx3

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

5 60

debugger

A low-latency USB3-based JTAG debugger.

Language:VHDLNOASSERTION4 40

usenix-samples

Samples mentioned in the USENIX paper.

Language:LLVM3 20

analyzer

Language:C++NOASSERTION2 30

steroids-pcb

Open source PCB design for Steroids

AGPL-3.01 40

verification

Language:CNOASSERTION1 30

debugger-driver

Language:C++LGPL-3.0020

Gitbook

030

klee

KLEE Symbolic Execution Engine

Language:C++NOASSERTION010

libopencm3-examples

Language:Shell030

lpc18xx-demos

Language:C030

mini-arm-os

Language:Shell000

stm32-demos