Fleece

Tool

First seen 7/30/2026

Last seen 7/30/2026

Evidence 11 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

19 connections

seed byte string uses → 100% 2e

Fleece begins testing with seed byte strings that are mutated to produce new inputs.

The paper presents Fleece as the tool implementing their testing methodology.

x86 Architecture evaluates → 100% 2e

Fleece is used to test decoders for x86 architectures.

ARM Architecture evaluates → 100% 2e

Fleece is used to test decoders for ARM architectures.

PowerPC Architecture evaluates → 100% 2e

Fleece is used to test decoders for PowerPC architectures.

Fleece tests and interacts with instruction decoders as the subject under evaluation.

Fleece sets operands to special values to test special instruction behaviors.

Fleece uses format strings to avoid retesting structurally identical instructions.

Fleece implements the automatic instruction structure inference step.

Fleece applies normalization rules to decoder outputs before comparison.

error reporting uses → 100% 1e

Fleece produces labeled error reports when decoding discrepancies are found.

Fleece determines instruction length as a first step during structure inference.

GNU assembler uses → 100% 1e

Fleece uses the GNU assembler to reassemble decoded instructions for verification.

Fleece implements the structured random testing procedure described in the paper.

Fleece implements reassembly-based output verification as part of its testing pipeline.

Fleece uses differential testing to compare decoder outputs.

Fleece uses bit flipping to infer instruction structure and generate new test inputs.

Fleece uses pairwise structural bit flips as one of its mutation strategies.

Fleece uses field randomization to generate test cases with varied operand values.