FFmpeg security analysis

Goal

Lear how to use Codee for Static Application Security Testing (SAST) and generate a SAST report for FFmpeg.

Getting started

Make sure you have Codee installed and available on your machine and clone the FFmpeg repository.

git clone https://github.com/FFmpeg/FFmpeg.git

Now navigate to the source code:

cd FFmpeg

Walkthrough

1. Generate the compile_commands.json

The compile_commands.json can be obtained using bear:

./configure --disable-x86asm && \
bear -- make build

2. Run Codee SAST report

New feature

Running codee commands with the additional --db codee.db flag enables Incremental Static Analysis. This reduces runtime by storing analysis results and reusing them in subsequent analysis, reanalyzing only the source code that has changed.

To obtain Codee SAST results for the CWE standard execute the following command:

codee screening --sast --db codee.db

You should have obtained a result similar to this:

<...>

0 file analyses reused from cache, 2237 files analyzed from scratch
2237 files, 21687 functions, 30419 loops, 795065 LOCs successfully analyzed (7868 checkers) and 0 non-analyzed files in 15 m 46 s