httrack/.github/workflows/codeql.yml at master · xroche/httrack · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
# CodeQL static analysis (C). The security-extended suite covers the classes
# this codebase actually fights: overflows, tainted-size allocs, format bugs.
name: CodeQL

on:
  push:
    branches: [master]
  pull_request:
  schedule:
    # Weekly re-scan of master so new/updated queries land without a push.
    - cron: "17 4 * * 1"

permissions:
  contents: read

concurrency:
  group: codeql-${{ github.ref }}
  cancel-in-progress: true

jobs:
  analyze:
    name: analyze (c-cpp)
    runs-on: ubuntu-24.04
    permissions:
      contents: read
      # Upload findings to the repo's code-scanning dashboard.
      security-events: write
    steps:
      - uses: actions/checkout@v7
        with:
          submodules: recursive

      - name: Install build dependencies
        run: |
          set -euo pipefail
          sudo apt-get update || true  # a third-party source in the runner image can 403 (#1097)
          sudo apt-get install -y --no-install-recommends \
            build-essential autoconf automake libtool autoconf-archive \
            zlib1g-dev libssl-dev libbrotli-dev libzstd-dev

      - uses: github/codeql-action/init@v4.39.0
        with:
          languages: c-cpp
          build-mode: manual
          queries: security-extended
          # fopen's umask-controlled 0666 is intended for mirror/cache/log
          # output; the one credential file (cookies.txt) is kept 0600 on Unix.
          config: |
            # No paths-ignore: GitHub honours it only for a compiled language
            # it does not build, so an exclusion has to leave the build itself.
            # libtest (demo callbacks) and src/proxy are analysed on purpose.
            query-filters:
              - exclude:
                  id: cpp/world-writable-file-creation
              # Models auth-bypass-by-spoofing; httrack has no auth surface, its +/- crawl filter is a mirror boundary, not a security one.
              - exclude:
                  id: cpp/user-controlled-bypass

      # Manual build: CodeQL traces the compiler, so build exactly what ships.
      - name: Build
        run: |
          set -euo pipefail
          autoreconf -fi
          ./configure
          # Codec detection is auto: without the -dev packages the br and zstd
          # decoders drop out and CodeQL analyses code that does not ship.
          grep -q "define HTS_USEBROTLI 1" config.h
          grep -q "define HTS_USEZSTD 1" config.h
          make -j"$(nproc)"

      - uses: github/codeql-action/analyze@v4.39.0
        with:
          category: "/language:c-cpp"