h3nd24 Goto Github PK

afl-ngram-pass

An LLVM-based implementation of n-gram branch coverage for AFL

ansible

Ansible is a radically simple IT automation platform that makes your applications and systems easier to deploy and maintain. Automate everything from code deployment to network configuration to cloud management, in a language that approaches plain English, using SSH, with no agents to install on remote systems. https://docs.ansible.com.

dex_formalization

fuzzer-test-suite

Set of tests for fuzzing engines

fuzzing_scripts

Various Scripts for ANU Fuzzing Project (MoonLight)

goawx

AWX SDK for the Go programming language: https://github.com/ansible/awx

llvm-cfg-to-json

Exports an LLVM control flow graph (CFG) (including function calls) to JSON

logicdroid

Modified files in the Android source code to enable LogicDroid

logicdroid_kernel

Modified files to android kernel source code to enable LogicDroid

monitor_generator

Program to automatically produce a kernel module source code for LogicDroid based on XML specification

terraform-provider-awx

Ansible AWX provider for Terraform

terraform-provider-instaclustr

Terraform Instaclustr Provider

translationproof

This project analyzes the (non-optimized) translation from JVM bytecode into Android bytecode (DEX bytecode). We leverage an existing security approach to JVM bytecode and apply it to Android. In particular, we show that a JVM program that is typable with respect to a non-interferent type system will also yield a typable DEX bytecode. The theoretical background is contained in the extended paper, and we also provide a prototype for this whole infrastructure. Further information is contained in the README file.

web-crawler

Simple Scrapy-based web crawler used in the MoonLight Project