A Python package for interactive geospatial analysis and visualization with Google Earth Engine.

Movec: A Tool for the Monitoring and Verification of C Programs

Aim to provide a complete list of ARM instructions mnemonics, descriptions and encodings

Public repository of the tools and benchmarks used in our paper "A Tale of Two Injectors: End-to-End Comparison of IR-level and Assembly-Level Fault Injection" published in the 30th International S…

Fault injector for GPUs based on the LLFI Fault Injection Tool

RetroWrite -- Retrofitting compiler passes through binary rewriting

An awesome & curated list of binary rewriting papers

A GCC plugin implementing various stack canaries.

A GCC plugin that detects and repairs control-flow hijacking attacks that overwrite function return addresses; and Python scripts that use memory logging to keep track of function pointers.

gem5 Tips & Tricks

Repository for the GCC plugin that can automatically add CFE detection techniques

Lightweight Kernel Protection against Return-to-user Attacks

GCC Obfuscation Augmentation Tools

Experiments with the gcc plugin mechanism

gcc plugin, which inserts nop instructions

LLFI is an LLVM based fault injection tool, that injects faults into the LLVM IR of the application source code. The faults can be injected into specific program points, and the effect can be easil…