2dfractals

A simple 2d fractal tool

algorithmictradingapplication

avatar-panda

PANDA backend for avatar²

avatar-python

Dynamic security analysis of embedded systems’ firmwares

avatar2

Python core of avatar²

avatar2_dmon

bounti

cypress-fx3-sdk-linux

Cypress FX3 SDK v1.3.1 configured to build from the firmware sources. Eclipse integration of device flashing also included.

excel-python

A simple API of read and write excel file based on xlrd, xlwt and xlutils

fracture

an architecture-independent decompiler to LLVM IR

fracture_docker

Fracture Docker is a Ubuntu 12.10 based Docker image that provides an isolated instance with the latest version of Fracture and LLVM 3.2.

freertos

fx3_stream_in

google-chrome-dino-game-ai

inception

This is an on going work to reflow the Inception framework from scratch in order to improve its flexibility, readability and stability.

inception2

Inception with significant embellishment

klee

KLEE Symbolic Execution Engine

labs.vcs_tools

A collection of VCS scripts that might be used in different context

lpc1850-db1

LPC1850-DB1 cmake-based project

markdown-cheatsheet

Markdown Cheatsheet for Github Readme.md

markdown-here

Google Chrome, Firefox, and Thunderbird extension that lets you write email in Markdown and render it before sending.

pki

Light PKI server

practicalctfhacking

Practical CTF Hacking book, created by and for this class.

pyelftools

Parsing ELF and DWARF in Python

steroids2

steroids2-driver

superspeedjtag

unofficial_thesis_template

vcs-slave-mode

Example to control VCS simulation with a C/C++ program. This involves VCS output a shared object instead of an executable (simv).

verilog_instrumentation_toolchain

This framework enables verilog instrumentation. It is used for inserting a scan chain.