Switch branches/tags
Nothing to show
Clone or download
Rafiot Merge pull request #61 from dputtick/dev
Release 2.3.1: fix bug with RPi 3
Latest commit 87aeb6a Oct 25, 2017
Permalink
Failed to load latest commit information.
circlean_fs Remove line in rc.local turning off eth0 Oct 18, 2017
deb Fix #11 Oct 9, 2013
diode_controller Re-add LED files Feb 6, 2017
doc
fs_get_shell/etc
kernel_config Re-enable updates of the system May 9, 2014
midi midi grooming tunes Oct 9, 2013
shell_utils Update shell_utils Oct 25, 2017
tests Reorganizing structure of project Dec 27, 2016
.gitignore Initial version of the standalone python module May 10, 2015
CHANGELOG.md Update changelog with 2.3.1 bugfix Oct 25, 2017
CONTRIBUTING.md Mention shellcheck in CONTRIBUTING.md Oct 2, 2017
LICENSE LICENCE->LICENSE Jul 8, 2014
README.md
copy_to_final.sh Merge branch 'master' into dev Dec 8, 2015
mount_image.sh
proper_chroot.sh make it easyer to run the tests Mar 26, 2014
run_tests.sh Rework the way we select which partition types to test and introduce … Oct 9, 2015

README.md

CIRCLean

Chatroom

CIRCLean logo Cleaner in action

How To Install

Graphical how-to and pre-built image download.

To prepare the SD card on Windows, you can use Win32DiskImager. On linux/macOS, use dd (see the how-to link for instructions).

The current prebuilt image is based on the 1-11-17 release of Raspbian Jessie Lite. The smallest SD card that Circlean can fit on is currently 4GB.

If you'd like to contribute to the project or build the image yourself, see contributing.md and the setup instructions. This is a work in progress - contributions are welcome.

Why/What

This project aims to be useful when you get/find a USB key that you can't trust, and you want to look at its contents without taking the risk of plugging it into your computer directly. The official project page can be found at [https://www.circl.lu/projects/CIRCLean/]

The Raspberry Pi Foundation has a blog post with more information about an older version of the project and details of the inspiration behind it.

CIRCLean is currently tested to work with USB keys that have FAT32, NTFS, or ext2/3/4 filesystems (ext* filesystems can only be used as source keys, not destination keys). Currently, exFAT is not supported due to lack of support for this format in pmount. The vast majority of USB keys will be FAT32 or NTFS.

The content of the untrusted key will be copied or/and converted to the second (blank) key following these rules (based on the mime type as determined by libmagic):

  • Direct copy of:
    • Plain text files (mime type: text/*)
    • Audio files (mime type: audio/*)
    • Video files (mime type: video/*)
    • Example files (mime type: example/*)
    • Multipart files (mime type: multipart/*)
    • xml files, after being converted to text files
    • Octet-stream files
  • Copied after verification:
    • Image files after verifying that they are not compression bombs (mime type: image/*)
    • PDF files, after marking as dangerous if they contain malicious content
    • msword|vnd.openxmlformats-officedocument.|vnd.ms-|vnd.oasis.opendocument*, after parsing with oletools/olefile and marking as dangerous if the parsing fails.
  • Copied but marked as dangerous (DANGEROUS_filename_DANGEROUS)
    • Message files (mime type: message/*)
    • Model files (mime type: model/*)
    • x-dosexec (executable)
  • Compressed files (zip|x-rar|x-bzip2|x-lzip|x-lzma|x-lzop|x-xz|x-compress|x-gzip|x-tar|*compressed):
    • Archives are unpacked, with the unpacking process stopped after 2 levels of archives to prevent archive bombs.
    • The above rules are applied recursively to the unpacked files.

Usage

  1. Power off the device and unplug all connections.

  2. Plug the untrusted key in the top left USB slot of the Raspberry Pi.

  3. Plug your own key in the bottom USB slot (or use any of the other slots if there are more than 2).

    Note: This key should be bigger than the original one because any archives present on the source key will be expanded and copied.

  4. Optional: connect the HDMI cable to a screen to monitor the process.

  5. Connect the power to the micro USB port.

    Note: Use a 5V, 700mA+ regulated power supply

  6. Wait until you do not see any blinking green light on the board, or if you connected the HDMI cable, check the screen. The process is slow and can take 30-60 minutes depending on how many document conversions take place.

  7. Power off the device and disconnect the drives.