Repository navigation

Update mypy and run it in strict mode - #302

Merged

waskyo merged 16 commits into

static-analysis-engineering:masterfrom

waskyo:run_mypy_in_strict_mode

Oct 29, 2026

Merged

Update mypy and run it in strict mode#302
waskyo merged 16 commits into
static-analysis-engineering:masterfrom
waskyo:run_mypy_in_strict_mode

Commits on Oct 29, 2026
- TYPES: use mypy version 2.4 from within a virtualenv
  waskyo
  committed
  86a74cf
- TYPES: add a number of cast calls to make mypy happy in strict mode
  waskyo
  committed
  0c7e00f
- INV: Fix type annotations in FnDictionaryRecord.py
  waskyo
  committed
  12b3ec9
- TYPES: remove redundant casts, as reported by mypy
  waskyo
  committed
  820cb93
- ELF: fix some issues raised by type checking
  waskyo
  committed
  5bac9a7
- CFG: Add type annotations to some of the nested functions
  waskyo
  committed
  8fcb7bf
- TYPES: misc typing fixes
  waskyo
  committed
  cfe05db
- Fix CallTarget usage
  waskyo
  committed
  7e53260
- XML: check that getroot doesn't return None.
  waskyo
  committed
  90be292
- TYPES: Add details on the types contained in various lists and dicts
  waskyo
  committed
  51b2e85
- TYPES: work around mypy weirdness when using the '**' operator
  waskyo
  committed
  efbe1aa
- TYPES: fix typing issues with new log_id logging code
  waskyo
  committed
  bd54d47
- TYPES: AppAccess' file format is no longer a generic
  waskyo
  committed
  2474fa3
- TYPES: XComparison only supports ELF binaries, make that explicit
  waskyo
  committed
  11a3441
- TYPES: Enable strict mode in mypy
  waskyo
  committed
  0ada3a0
- TYPES: Various fixes from code review
  waskyo
  committed
  caf299f