binaryanalysis-ng

Binary Analysis Next Generation (BANG)

BANG is a framework for unpacking files (like firmware) recursively and running checks on the unpacked files. Its intended use is to be able to find out the provenance of the unpacked files and classify/label files, making them available for further analysis.

Requirements

a recent Linux distribution (Fedora 33 or higher, or equivalent), or NixOS
Python 3.8.x or higher
for maintenance scripts: Python 3.9.x or higher (as some Python 3.9 specific features are used in the maintenance scripts)
pillow (possibly named python3-pillow), a drop in replacement for PIL ( http://python-pillow.github.io/ )
GNU binutils (for 'ar')
squashfs-tools (for 'unsquashfs')
cabextract
7z
e2tools (for 'e2ls' and 'e2cp')
zstd
python-lz4 (possibly named python3-lz4)
qemu-img (for VMDK files)
psycopg2 (possibly named python3-psycopg2)
python-snappy (possibly named python3-snappy)
python-tlsh (possibly named python3-tlsh)
tinycss2 (possibly named python3-tinycss2, not available on Fedora 26 and earlier)
dockerfile-parse (possibly named python3-dockerfile-parse)
openssl
rzip
libxml2 (for 'xmllint')
mailcap (for mime.types)
lzop
OpenJDK (for 'unpack200')
defusedxml (possibly named python3-defusedxml)
icalendar (possibly named python3-icalendar)
pyyaml (possibly named python3-pyyaml)
ncompress
util-linux (for 'fsck.cramfs')
lz4 (for 'lz4c')
elasticsearch (possibly named python3-elasticsearch)

or if you are fortunate enough to be using nix, run nix-shell to load all the dependencies during development.

Additionally install "sasquatch"

https://github.com/devttys0/sasquatch

Supported hardware

It is assumed that BANG is run on little endian hardware (such as x86 or x86-64).

Verified unsupported distributions

Fedora 32 and earlier
Ubuntu 16.04 and lower (Python version too old)

Docker container

docker image build -t bang .
docker container run --rm -it bang

or from the src directory, type

make dockerbuild

Supported file types

The following files can be unpacked, or verified, including carving from a larger file, unless stated otherwise.

WebP
WAV
ANI
gzip
LZMA
XZ
timezone files
tar
Apple Double encoded files
ICC (colour profile)
ZIP (store, deflate, bzip2, but lzma needs some more testing), also JAR and other ZIP-based formats
APK (same as ZIP, but possibly with extra Android signing bytes)
XAR (no compression, gzip, bzip2, XZ, LZMA)
ISO9660 (including RockRidge and zisofs)
lzip
WOFF (Web Open Font Format)
TrueType fonts/sfnt-housed fonts
OpenType fonts
Vim swap files (whole file only)
Android sparse data image (no Brotli compression, no bsdiff/imgdiff)
Android backup files
ICO (MS Windows icons)
Chrome PAK (version 4 & 5, only if offset starts at 0)
GNU message catalog
RPM (gzip, XZ, bzip2, LZMA, zstd, not: delta RPM)
AIFF/AIFF-C
terminfo (little endian, including ncurses extension, does not recognize some wide character versions)
AU (Sun/NeXT audio)
JFFS2 (uncompressed, zlib, rtime, lzo, LZMA from OpenWrt)
CPIO (various flavours, little endian)
Sun Raster files (standard type only)
Intel Hex (text files only)
Motorola SREC (text files only)
MNG
Android sparse image files
Java class file
Android Dex/Odex (not OAT, just carving)
ELF
SWF (uncompressed, zlib, LZMA)
Android resource files (table type, but possibly not all types, binary XML)
base64/32/16 (whole file)
FLV (Macromedia Flash Video)
Git index files
JSON (whole file)
D-Link ROMFS
bzip2
GIF (needs PIL)
JPEG (needs PIL)
Microsoft Cabinet archives (needs cabextract)
RZIP (requires rzip)
7z (requires external tools), single frame(?)
Windows Compiled HTML Help (needs external tools, version 3 only)
Windows Imaging file format (needs external tools, single image only)
ext2/3/4 (missing: symbolic link support)
zstd (needs zstd package)
SGI image files (needs PIL)
Apple Icon Image (needs PIL)
LZ4 (requires LZ4 Python bindings), LZ4 legacy (requires 'lz4c')
VMware VMDK (needs qemu-img, whole file only)
QEMU qcow2 (needs qemu-img, whole file only)
VirtualBox VDI (needs qemu-img, whole file only, Oracle flavour only)
XML (whole file)
Snappy (needs python-snappy)
various certificates (PEM, private key, etc., needs openssl)
lzop
PNG/APNG (needs PIL)
ar/deb (needs binutils)
squashfs (needs squashfs-tools), only regular squashfs, vendor specific exotic variants need sasquatch
BMP (needs PIL)
PDF (simple verification, no object streams, incremental updates at end of the file)
pack200 (needs unpack200)
GIMP brush (needs PIL)
ZIM (Wikipedia archive format)
MIDI
Android tzdata
Java key store (version 2 only)
XG3D (proprietary file format from 3D Studio Max, labeling only)
ACDB (audio callibration database, proprietary file format from Qualcomm, labeling only)
Microsoft DirectDraw Surface (structure checks and very limited sanity checking)
Khronos KTX files (version 1)
Android verified boot image
SQLite 3
Linux flattened device tree
Broadcom TRX
Photoshop PSD (raw bytes and RLE encoding only)
minidump files
PPM files ('raw' PPM only)
PGM files ('raw' PGM only)
PBM files ('raw' PBM only)
Android bootloader for Qualcomm Snapdragon
Android bootloader image (also a Lttle Kernel based variant)
Android bootloader for Huawei devices
FAT16 file systems (8.3 file names)
Coreboot images
Minix V1 file system (Linux variant)
Unix compress (needs 'uncompress'), only if end of the file is compress'd data
romfs
cramfs (version 2 only)
nb0 Android updates
Quake PAK files
Doom WAD files (IWAD only)
Ambarella firmware files
Ambarella romfs (used in Ambarella firmware files)
bFLT
UBI, fastmap not supported
GRUB2 font files
BitTorrent files (subset)
pcapng (carving, structural checks, little endian only)
pcap (carving, structural checks)
serialized Java (block data only, carving, structural checks)
mapsforge map files (very basic structural checks)
Parrot PLF files
PFS file system
YAFFS2 (including inband tags)
Qualcomm QCDT files
Chrome extensions (.crx)
Windows shell link file (.lnk)
PCF fonts (that actually follow the specification, little endian only)
DS_Store
Qualcomm Snapdragon MSM bootloader files
Mozilla ARchive (.mar)
OpenFst (subset, identification only)
SELinux file context
Ogg
Allwinner images
DFU (Device Firmware Upgrade)
Key Character Map binary files
USB Flashing Format (UF2)
Android VDEX (identification only)
SEAMA firmware files
LLVM IR wrapper format (identification only)
OpenWrt LXL firmware header
Mediatek BootROM (header only)
Rockchip RKFW and RKAF
systemd journal files
Rockchip rkboot
Python pickle
glibc utmp/wtmp
Android vendor boot
Android FBPK
Samsung Tzar
Qualcomm aboot (version 3 only, no unified boot)
Rockchip resource files
Socionext Milbeaut firmware files
zchunk
ubifs
Performance Co-Pilot metadata files

The following text formats can be recognized:

(NOTE: currently broken)

Linux kernel configuration files (whole file)
Dockerfile files (whole file)
Python PKG-INFO files (whole file)
Unix group files (whole file)
TRANS.TBL files
CSS
Linux fstab files
Windows INI files (text only)
Linux Software Map files (whole file)
Unix passwd files (whole file)
Unix shadow files (whole file)
Samba password files
SSH known hosts files (whole file)
Subversion hash files (wcprops, all-wcprops, etc.)
pkg-config files
Java/Android MANIFEST.MF files (whole file)
iCalendar (RFC 5545) files (whole file only)

Invocation

$ python3 bang-scanner -c bang.config -f /path/to/binary

License

GNU Affero General Public License, version 3 (AGPL-3.0)

The code for verifying and labeling Android Verified Boot images was heavily inspired by code from Android (avbtool) found at:

https://android.googlesource.com/platform/external/avb/+/master/avbtool

The original license for avbtool:

Copyright 2016, The Android Open Source Project

Permission is hereby granted, free of charge, to any person
obtaining a copy of this software and associated documentation
files (the "Software"), to deal in the Software without
restriction, including without limitation the rights to use, copy,
modify, merge, publish, distribute, sublicense, and/or sell copies
of the Software, and to permit persons to whom the Software is
furnished to do so, subject to the following conditions:

The above copyright notice and this permission notice shall be
included in all copies or substantial portions of the Software.

THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS
BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN
ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
SOFTWARE.

The code for rtime decompression was copied from:

https://github.com/sviehb/jefferson/blob/master/src/jefferson/rtime.py

The original license for jefferson:

The MIT License (MIT)

Copyright (c) 2015 Stefan Viehböck

Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files (the "Software"), to deal
in the Software without restriction, including without limitation the rights
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
copies of the Software, and to permit persons to whom the Software is
furnished to do so, subject to the following conditions:

The above copyright notice and this permission notice shall be included in all
copies or substantial portions of the Software.

THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
SOFTWARE.

Developing

The recommended coding style is described in PEP 8:

https://www.python.org/dev/peps/pep-0008/

It is recommended to run PEP 8 verification tools, for example python3-flake8 (on Fedora).

Another tool that is highly recommended is pylint.

Acknowledgement

This project has received funding from the European Union’s Horizon 2020 research and innovation programme within the framework of the NGI-POINTER Project funded under grant agreement No. 871528.

edolstra / binaryanalysis-ng