Inception

Inception framework for security testing of embedded systems firmware programs

France

Pinned Repositories

analyzer
Language:C++2 3 00
debugger
A low-latency USB3-based JTAG debugger.
Language:VHDL5 4 01
docker
Language:Dockerfile8 3 03
ez-usb-fx3
Cypress FX3 firmware for the usb3-to-jtag device. See inception-framework for details.
6 6 02
inception
24 6 11
steroids-pcb
Open source PCB design for Steroids
1 4 00
translator
A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.
Language:C++13 3 10
tutorial
A very simple tutorial to get started with Inception
Language:Assembly7 4 04
usenix-samples
Samples mentioned in the USENIX paper.
Language:LLVM3 2 04
verification
Language:C1 3 02

Inception's Repositories

Inception-framework/inception
24 6 11
Inception-framework/translator
A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.
Language:C++13 3 10
Inception-framework/docker
Language:Dockerfile8 3 03
Inception-framework/tutorial
A very simple tutorial to get started with Inception
Language:Assembly7 4 04
Inception-framework/ez-usb-fx3
Cypress FX3 firmware for the usb3-to-jtag device. See inception-framework for details.
6 6 02
Inception-framework/debugger
A low-latency USB3-based JTAG debugger.
Language:VHDL5 4 01
Inception-framework/usenix-samples
Samples mentioned in the USENIX paper.
Language:LLVM3 2 04
Inception-framework/analyzer
Language:C++2 3 00
Inception-framework/steroids-pcb
Open source PCB design for Steroids
1 4 00
Inception-framework/verification
Language:C1 3 02
Inception-framework/debugger-driver
Language:C++2 0
Inception-framework/Gitbook
3 0
Inception-framework/klee
KLEE Symbolic Execution Engine
Language:C++1 0
Inception-framework/libopencm3-examples
Language:Shell3 0
Inception-framework/lpc18xx-demos
Language:C3 0
Inception-framework/mini-arm-os
Language:Shell3 0
Inception-framework/stm32-demos
Language:C3 0