sillybos¶

Decide before decoding. A σίλλυβος (sillybos; Latin sittybus) was the little parchment tag that hung from a rolled scroll in an ancient library, carrying its title and author, so that a reader could tell what a scroll was without unrolling it. Cicero had them made for his books. This library is that tag for the files a scanning or OCR pipeline is handed: it reads the tag, and says whether the scroll should be unrolled at all.
It answers one narrow question, before any image library or PDF renderer
opens a file: is this one of the formats I mean to read, within the limits
I expect, and if not, why? It names the format from the file's first bytes,
whatever the file is called; reads the header of a JPEG, PNG or TIFF with a
few dozen lines of its own, never a decoder's; asks poppler's pdfinfo, in
a separate process with a time limit, how many pages a PDF has, how large
they are and whether it carries JavaScript, a form, attached files or a
launch action; and refuses, in a plain sentence, anything outside the
policy you give it.
Status: alpha. The API is small and may still move. It is in use in Tetrak OCR, which is where it came from.
pip install sillybos # the check; no dependencies
pip install 'sillybos[pillow]' # plus open_checked(), which opens the file with Pillow
A PDF needs pdfinfo from poppler on the PATH (brew install poppler,
apt install poppler-utils). Anything that renders PDFs in Python already
has it.
Why¶
Every program that reads scans hands each file to a decoder: Pillow for
images, poppler for PDFs, then an OCR engine. Decoders are large, old
programs that read complicated formats, and they have flaws. In October
2026, Pillow 13.0.0 fixed four serious ones at once. One of them
(CVE-2026-112900) ran commands on the computer when an EPS file was opened
and Ghostscript was installed; and a file's extension was no protection,
because Pillow decides what a file is from its contents, so a PostScript
file named page.png went straight to the PostScript reader.
The fixes to Pillow arrived; the lesson stays. A pipeline that opens files it did not make should decide, from the file's own bytes and a policy of its own, whether a decoder may have it, and should do that deciding with code that is not itself a decoder.
Use¶
>>> from sillybos import check
>>> verdict = check("scans/page-012.png")
>>> verdict.ok
False
>>> verdict.reasons
('says PNG, is PostScript',)
>>> verdict = check("scans/register.tif")
>>> verdict.ok, verdict.format, verdict.facts
(True, 'tiff', Facts(bytes=48213990, width=4960, height=7016, pages=32, max_pixels=34799360, encrypted=False))
check never raises for anything found in the file. A lying name, a
malformed header, a page too large and a thousand-page PDF are all reasons,
not exceptions, and a verdict carries every reason it found. require is
the same check for callers who would rather catch one exception:
from sillybos import require, Refused
try:
require(path)
except Refused as refusal:
quarantine(path, refusal.verdict.reasons)
The policy¶
from sillybos import Policy, DEFAULT, STRICT, check
check(path) # DEFAULT: a trusted laptop, your own scanner
check(path, STRICT) # files from outside: smaller and shorter
check(path, Policy(formats={"tiff", "pdf"}, max_pages=50))
| Setting | DEFAULT |
STRICT |
What it bounds |
|---|---|---|---|
formats |
jpeg, png, tiff, pdf | the same | What may pass at all. Nothing else is ever allowed, whatever the policy says |
max_bytes |
512 MiB | 128 MiB | The file. Checked before anything reads it |
max_pixels |
89,478,485 | 50,000,000 | Any one page or frame, decoded. For a PDF page, at render_dpi. The default is Pillow's own decompression-bomb threshold, enforced here rather than left to a global |
max_pages |
500 | 100 | Pages of a PDF, frames of a TIFF or animated PNG, pictures of a multi-picture JPEG. Also bounds the header walk itself |
max_metadata_bytes |
4 MiB | 1 MiB | The largest block of metadata in an image: a PNG chunk other than image data, a TIFF tag's out-of-line data, a JPEG colour profile across its segments. A scan carries kilobytes; a block the size of the file is where parsers' quadratic paths and allocation flaws live (CVE-2026-96643, CVE-2023-6277) |
render_dpi |
200 | 200 | What you will render PDF pages at, so a page's pixels are known before the renderer allocates them |
name_must_match |
yes | yes | Refuse a JPEG called .png. The readers would cope; the lie is what you want to know about |
png_colour_types |
all five | the same | Which PNG colour types pass: greyscale, rgb, palette, greyscale-alpha, rgba. A policy for scans alone can keep to the first two, which closes libpng's palette paths (CVE-2025-64720, CVE-2026-33636) |
max_png_bit_depth |
16 | 8 | The deepest PNG sample. A scanner writes 8; some archival software writes 16-bit greyscale |
allow_interlaced_png |
no | no | No scanner writes Adam7, and the interlaced 16-bit path was the way into two libpng overflows (CVE-2025-65018, CVE-2026-22695) |
allow_tiled_tiff |
yes | no | A scanner writes strips; digitisation and mapping software write tiles. A tile is held to max_pixels on its own, since the decoder allocates it whole, and the tiled path is where two of Pillow's recent over-reads were (CVE-2026-112395, CVE-2026-112404) |
tiff_photometrics |
greyscale, rgb, palette, cmyk, ycbcr | the same | Which colour models a TIFF may declare. The rest (CIELab, masks, raw sensor data, LogLuv) a scan never uses; a value the library does not know is refused outright |
tiff_subsamplings |
1x1, 2x1, 1x2, 2x2 | the same | Which chroma subsamplings a YCbCr TIFF may declare. The factor-of-four paths are where libtiff's most recent heap write was found (CVE-2026-4775) |
tiff_compressions |
none, ccitt, lzw, jpeg, deflate, packbits | the same | How a TIFF may be compressed, by name. The other codecs in libtiff are where most of its flaws have been found (PixarLog most recently, CVE-2026-12912), and a scan never needs them. A code the library does not know is refused whatever the policy says, and every frame must use the same scheme |
jpeg_frames |
baseline, extended, progressive | the same | How a JPEG's frame may be coded. Lossless, hierarchical and arithmetic frames are legal JPEG that no scanner writes and the decoder's least-exercised code; a lossless frame was the way into a heap overflow in Pillow's JPEG decoder (CVE-2026-112403) |
allow_encrypted_pdf |
no | no | A scanned book is never encrypted |
pdf_features |
none | none | Which of JavaScript, forms, attached files and launch actions a PDF may carry. Each makes a viewer do something other than draw the page, and a scanned book has none. Forms are read from pdfinfo's report and attached files from pdfdetach's; a launch action is found by its name in the file, since no poppler tool reports one; JavaScript is looked for both ways |
pdfinfo_timeout |
30 s | 30 s | How long pdfinfo may take before the file is refused |
The defaults were set from a real corpus of archival scans (largest page 39 million pixels at 600 dpi; longest book 166 pages) with room to spare. Set yours the same way: from the largest real file you have, times two or three.
With Pillow¶
from sillybos.pillow import open_checked
with open_checked(
path
) as image: # checked first; then Image.open(path, formats=["JPEG", "PNG", "TIFF"])
...
Image.open takes a formats list, and a file outside it is never handed
to the other readers. open_checked runs the check, then opens with that
list set from the policy. That one argument is the whole of the October fix
for images, and it costs nothing; the check in front of it is what makes
the limits bite before Pillow allocates a pixel.
Longer examples, each a complete programme, are in the tutorials: a thumbnailer, a PDF renderer and an inbox that quarantines what it refuses.
The command¶
$ sillybos scans/*
ok scans/page-001.tif (TIFF, 4960x7016, 1 page, 1.6 MB)
refused scans/page-002.png says PNG, is PostScript
refused scans/poster.jpg a page of 1,200,000,000 pixels; the limit is 89,478,485
refused scans/report.pdf 1,412 pages; the limit is 500
refused scans/form.pdf a PDF with JavaScript and a form; the policy allows none of the features a PDF can carry
Exit status 0 when every file passed, 1 when any was refused, 2 when the
command could not do its job. --strict, --formats, --max-pages,
--max-pixels, --max-bytes, --max-metadata-bytes, --jpeg-frames,
--tiff-compressions, --tiff-photometrics, --tiff-subsamplings,
--no-tiled-tiff, --png-colour-types, --max-png-bit-depth,
--interlaced-png, --pdf-features and --any-name adjust the policy; --json
prints one object per line for a pipeline; -q prints only refusals.
What it does, exactly¶
- Size, from the file system. Over the limit, nothing reads the file but the next step.
- Format, from the first bytes. JPEG, PNG, TIFF and PDF are the four it can pass. It also knows PostScript, GIF, BMP, WebP, HEIF, JPEG 2000, BigTIFF, Photoshop, OLE (FlashPix, old Office), zip, gzip, icons and XML, so that a refusal can say what the file is. Anything else is "an unknown format". Refused by name, and no reader of ours runs on it.
- Name against contents.
says PNG, is JPEG. - The header, with a reader of its own for each raster format: the
dimensions, coding and component count from a JPEG's frame header, the
size of its colour profile, and every picture of a multi-picture (MPF)
JPEG, each read the same way and required to match the first; a PNG's
whole
IHDR(bit depth, colour type, interlacing, and the methods the specification fixes), itsacTLframe count, and the size of every other chunk, before and after the image data; and every directory in a TIFF's chain, each with its dimensions, its compression scheme, which must be one the policy names, and its pixel layout (photometric interpretation and, for YCbCr, chroma subsampling, both of which the policy names; samples per pixel; bits per sample), all of which must be the same in every frame, since the decoder sizes its buffers from the first, its tile size if it is tiled, and every tag's data checked to lie inside the file; the chain is walked with a limit and a memory of where it has been, so that one that loops or points off the end of the file is a refusal, not a hang. Every read is bounded and every offset is checked against the file's size. For a PDF,pdfinforeports the page count, whether it is encrypted, whether it carries JavaScript or a form and, if the count is within the limit, every page's size;pdfdetachreports attached files; and a bounded scan of the bytes finds the name of a launch action, and of JavaScript that an older poppler does not report, with the#xxescapes a name may hide behind undone. - The limits, against what the header said.
What it does not do¶
Say this plainly, because a security library carries an implied promise.
- It does not protect against a flaw in the readers you do allow. A crafted JPEG that exploits a bug in your JPEG decoder passes this check, because it is a JPEG of a sensible size. What this library removes is the attack surface of every format you did not mean to read, the whole class of files that are too big to be safe, and, where the header shows them, the rare codings a scanner never writes. For the readers you keep: update them, and run them in a boxed process with memory and time limits (a recipe for that is planned; it is deliberately not a dependency).
- It does not scan for malware. ClamAV does that, for malware that has been seen before.
- It does not repair, re-encode or "sanitise" a file. That needs a decoder, and the moment this library decoded anything it would become the kind of code it exists to keep away from untrusted files.
- It does not look inside a PDF beyond what
pdfinforeports. A PDF's structure cannot be read from a fixed header; it has to be parsed, and the parser this library trusts is poppler's, in its own process, with a timeout. Checks for JavaScript, launch actions, embedded files and forms (things a scanned book never has) are the next step. - It does not validate uploads. File names, path traversal and zip bombs belong to a web framework's upload handling. This library starts after the file is on disk and asks only whether a decoder may open it.
- It does not read formats beyond the four. WebP, JPEG 2000, HEIC and the rest are refused by name until someone shows a scan in one. Each format added is attack surface added.