Skip to content

y-guyon/ComplianceWarden

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

ComplianceWarden : a pluggable ISOBMFF (MP4/IFF) compliance checker

Introduction

ComplianceWarden is a compliance checker for ISOBMFF-based file format. It has been developed as a reference software for MPEG MIAF and AOM AVIF. ComplianceWarden can be extended to check MP4, CMAF, and many other file formats.

ComplianceWarden decouples the processing phases. First it parses the input to build an AST stored in very generic structures. Then it processes the AST to validate sets of rules attached to specifications. This approach offers a lot of flexibility and extensibiility.

ComplianceWarden is distributed under the BSD-3 license.

Useful information

Online version

An online version is available here for HEIF/MIAF and here for AVIF. Note that the software is executed in your browser and doesn't upload any data outside your computer.

Usage

$ bin/cw.exe
Compliance Warden, version v28-master-rev3-g01d9486.

Usage:
- Run conformance:          bin/cw.exe <spec> input.mp4
- List specifications:      bin/cw.exe list
- List specification rules: bin/cw.exe <spec> list
- Print version:            bin/cw.exe version

Specifications

$ bin/cw.exe list
================================================================================
Specification name: avif
            detail: AVIF v1.0.0, 19 February 2019
https://aomediacodec.github.io/av1-avif/
        depends on: "miaf" specifications.
================================================================================

================================================================================
Specification name: dummy
            detail: Dummy Spec, v1.2
        depends on: none.
================================================================================

================================================================================
Specification name: isobmff
            detail: ISO Base Media File Format
MPEG-4 part 12 - ISO/IEC 14496-12 - m17277 (6th+FDAM1+FDAM2+COR1-R4)
        depends on: none.
================================================================================

================================================================================
Specification name: heif
            detail: HEIF - ISO/IEC 23008-12 - 2nd Edition N18310
        depends on: "isobmff" specifications.
================================================================================

================================================================================
Specification name: miaf
            detail: MIAF (Multi-Image Application Format)
MPEG-A part 22 - ISO/IEC 23000-22 - w18260 FDIS - Jan 2019
        depends on: "heif" specifications.
================================================================================

Building

Native build

Linux, Windows:

$ make

MacOS X and BSD-likes:

$ CXX=scripts/darwin.sh make

or

$ export CXX=scripts/darwin.sh
$ make

Cross-compiling

Simply override CXX to use your target toolchain.

Example for a Windows 64 bit target:

$ CXX=x86_64-w64-mingw32-g++ make

or

$ export CXX=x86_64-w64-mingw32-g++
$ make

Emscripten (WASM)

em++ -std=c++14 -DCW_WASM bin/cw_version.cpp src/*.cpp -o ComplianceWarden.js -O3 -s WASM=1 -s EXPORTED_FUNCTIONS="['_specFindC', '_specCheckC', '_specListRulesC', '_printVersion', '_free']" -s FORCE_FILESYSTEM=1 -s EXIT_RUNTIME=0 -s ALLOW_MEMORY_GROWTH=1 --pre-js wasm-fs-pre.js

See https://gpac.github.io/ComplianceWarden-wasm/ for a demo.

The HTML integration source code is hosted at https://github.com/gpac/ComplianceWarden-wasm.

Testing

ComplianceWarden includes known good tests and known bad tests. This ensures the software is stable to false positives.

./check

NB: don't forget to set CXX when your toolchain requires so e.g. for Darwin (MacOS) CXX=scripts/darwin.sh ./check.

Contributing

Build dependencies

  • GNU Bash
  • GNU g++ version 7+
  • GNU make

Code formatter (optional)

Install uncrustify

$ git clone https://github.com/uncrustify/uncrustify.git
$ cd uncrustify
$ git checkout uncrustify-0.64
$ cmake -DCMAKE_BUILD_TYPE=Release ..
$ make -j $(nproc)
$ sudo make install

Adding tests

Uncomment the # cp "$new" "$ref" line in the tests/run script to update the script. This avoids tests to halt when an error occurs.

Code architecture

Repository file structure

check                      Top-level full-test script. Reformats + builds + tests.
                           Must pass without error before each commit.

src/                       Source files

tests/                     Integration tests (tests calling the entry points)
tests/run                  Entry point for the test script. Usage: "tests/run bin"
scripts/cov.sh             Coverage script. Generates a coverage report reflecting the
                           current status of the test suite,
scripts/sanitize.sh        Runs the test suite under asan+ubsan.

Principles

ComplianceWarden is made of three parts:

  • a file parser common_boxes.cpp that can be extended (or superseeded) by each specification,
  • some array of rules stored in spec_*.cpp,
  • an application stored in src/app_cw.cpp that probes the files, launches the tests, and produces a human-readable report.

The parsing is decoupled from the rules. This allows a lot of flexibility such as:

  • the replacement of the parser by an external tool,
  • the implementation of rules in a different language.

The result of the parsing phase is comparable to an AST. This AST is then processed by the rules.

The datastructures are generic. This allows to easily serialize them. This is useful when plugging new languages or building new tests.

Tests

A test is a pair of a file format description in the NASM syntax (example) and a reference result (example).

Limitations

Some aspects are not activated:

  • Brand presence checks are not fully activated. When activated, relaxed brands (e.g. 'MiPr') emit a lot of messages that bring little value to the user. Aggressive shall/should statements need to be balanced at standardization level.
  • Codec-level parsing is incomplete. It should be deferred in most case to an external project that can analyze both the metadata and the data (e.g. GPAC).
  • Some rules related to pixel formats (color spaces, ...) (computations and consistency) may only be checked by a player. Hence they are considered outside of the scope of this project.
  • Some rules related to pixel formats are only processed for AV1. Because we embed some codec-level parsing for AV1.
  • Some rules are not implemented due to missing content (e.g. AV1 OBU Metadata content or Apple Audio Twos).

Acknowledgments

This work was initiated as part of the MPEG MIAF conformance software.

The Alliance for Open Media (AOM) sponsored the work on AVIF.

About

A pluggable ISOBMFF (MP4/IFF) compliance checker

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • Assembly 74.9%
  • C++ 24.7%
  • Other 0.4%