The implementation of LogicDroid based on Android 4.1.1 source code.

Download Android 4.1.1

1. Installing Repo

Repo is a tool that makes it easier to work with Git in the context of Android. To install Repo, make sure you have a bin/ directory in your home directory and that is included in your path:

$ mkdir ~/bin
$ PATH=~/bin:$PATH

Download the Repo tool and ensure that it is executable:

$ curl https://storage.googleapis.com/git-repo-downloads/repo > ~/bin/repo
$ chmod a+x ~/bin/repo

2. Initializing a Repo client

After installing Repo, set up your client to access the Android source repository. Create an empty directory to hold your working files:

$ mkdir WORKING_DIRECTORY
$ cd WORKING_DIRECTORY

Run repo init to bring down the latest version of Repo with all its most recent bug fixes. You must specify a URL for the manifest, which specifies where the various repositories included in the Android source will be placed within your working directory.

$ repo init -u https://android.googlesource.com/platform/manifest -b android-4.1.1_r3

A successful initialization will end with a message stating that Repo is initialized in your working directory. Your client directory should now contain a .repo directory where files such as the manifest will be kept.

3. Downloading the Android Source Tree

To pull down the Android source tree to your working directory from the repositories as specified in the default manifest, run

$ repo sync

Source: Google Android

Download Goldfish kernel

$ git clone https://android.googlesource.com/kernel/goldfish
$ cd goldfish
$ git checkout -t origin/android-goldfish-2.6.29 -b goldfish

Build LogicDroid Kernel: Documentation

Download LogicDroid Source Code

Build LogicDroid Source Code: Documentation

Source code: https://github.com/logicdroid-project/

Download LogicDroid Image File

LogicDroid System Image: Download

LogicDroid Kernel: Download

LogicDroid User Data: Download

LogicDroid SD Card: Download

Download Galaxy Nexus kernel (Maguro)

$ git clone https://android.googlesource.com/device/samsung/maguro -b jb-release
$ cd maguro
$ git clone https://android.googlesource.com/kernel/omap.git -b android-omap-tuna-3.0-jb-pre1

Build Galaxy Nexus Kernel (Maguro): Documentation

Download Galaxy Nexus drivers

The needed version is: Galaxy Nexus (GSM/HSPA+) binaries for Android 4.1.1 (JRO03H) for the 4.1.1_r3 source code

Download: Google's Nexus driver page

Download LogicDroid for Galaxy Nexus (Images)

Maguro kernel (zImage): Download

System image: Download

Userdata image: Download

The following applications are used in LogicDroid project.

Security Controller

A policy editor application called Security Controller was developed to simplify the process. By providing the graphic UI, the Security Controller is able to automatically generate the policy and set the related predicates for each application according to the setting make by Android end users. Instead of writing complex policies in XML notations, the users can gain ease control by manipulating several switch buttons and checkboxes.

Download: Apk file

Source Code: https://github.com/logicdroid-project/Version-2.0/tree/master/SecurityController

CRT-Kolme

This application is used to test the privileged escaltion attack with phone call (Android version 4.1.1 - 4.4.2).

More information about this exploited bug can be found in this site:
https://blog.curesec.com/article/blog/CVE-2013-6272-comandroidphone-35.html