…d config. (#5703)

* CFGFast: Identify security_cookie location even if it's not in PE load config.

* Add a missing array length check.

* Write a test case; support unnormalized functions.

* Type check.

* FoldOneUseExpr: Collect expression uses inside loop bodies.

* Implement scope use limit.

* Oops.

…ce. (#5714)

* StructuredCodeGen: Reference only takes lvalues; Pass type to Reference.

* dereference_simtype: Fix an arch assignment escape.

* Type check.

* Hack: PointerArithmeticFixer skips assignments with explicit types.

* unify_local_vars: Fix phi assignment checks.

* Fix test cases.

* Flirt: Support loading individual signature files.

* Specify __all__.

* Add a test case.

* Also test meta path.

* Disassembly: Render ARM pc-offset mem operands as addrs.

* Type check.

…5719)

* IncompleteSwitchCaseNode: Handle node_a with switch-exit successors.

Also:

- Fix a bogus warning about multiple out-of-region successors in
switch-case structuring.

- Support swapped condition operands when parsing ranges out of
switch-case condition expressions.

- Eliminate unnecessary cmp_bound extraction in
Phoenix._match_acyclic_switch_cases_address_loaded_from_memory.

* Correctly unpack incomplete IncompleteSwitchCaseNodes.

* Clinic: Support fixing abnormal switch-cases in a new x64 binary.

* Phoenix: More adjustments.

Bumps [astral-sh/setup-uv](https://github.com/astral-sh/setup-uv) from 6.8.0 to 7.1.0.
- [Release notes](https://github.com/astral-sh/setup-uv/releases)
- [Commits](astral-sh/setup-uv@d0cc045...3259c62)

---
updated-dependencies:
- dependency-name: astral-sh/setup-uv
  dependency-version: 7.1.0
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

updates:
- [github.com/asottile/pyupgrade: v3.20.0 → v3.21.0](asottile/pyupgrade@v3.20.0...v3.21.0)
- [github.com/astral-sh/ruff-pre-commit: v0.13.3 → v0.14.0](astral-sh/ruff-pre-commit@v0.13.3...v0.14.0)

Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>

Resolves artifact based caching of Python environment after setup-uv
action upgrade in #5726

…s. (#5732)

…5933)

* SimpleSolver: Add Int512 to the lattice.

* SSA: Limit max stack variable size to 8 when guessing.

* add FILE in sim_type and update glibc def json

* lint

…ong strings (#5935)

…ic_core. (#5934)

Bumps [codecov/codecov-action](https://github.com/codecov/codecov-action) from 5.5.1 to 5.5.2.
- [Release notes](https://github.com/codecov/codecov-action/releases)
- [Changelog](https://github.com/codecov/codecov-action/blob/main/CHANGELOG.md)
- [Commits](codecov/codecov-action@5a10915...671740a)

---
updated-dependencies:
- dependency-name: codecov/codecov-action
  dependency-version: 5.5.2
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

Bumps [actions/cache](https://github.com/actions/cache) from 4 to 5.
- [Release notes](https://github.com/actions/cache/releases)
- [Changelog](https://github.com/actions/cache/blob/main/RELEASES.md)
- [Commits](actions/cache@v4...v5)

---
updated-dependencies:
- dependency-name: actions/cache
  dependency-version: '5'
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

Bumps [actions/upload-artifact](https://github.com/actions/upload-artifact) from 5.0.0 to 6.0.0.
- [Release notes](https://github.com/actions/upload-artifact/releases)
- [Commits](actions/upload-artifact@330a01c...b7c566a)

---
updated-dependencies:
- dependency-name: actions/upload-artifact
  dependency-version: 6.0.0
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

Bumps [taiki-e/install-action](https://github.com/taiki-e/install-action) from 2.62.64 to 2.63.3.
- [Release notes](https://github.com/taiki-e/install-action/releases)
- [Changelog](https://github.com/taiki-e/install-action/blob/main/CHANGELOG.md)
- [Commits](taiki-e/install-action@cf46383...d850aa8)

---
updated-dependencies:
- dependency-name: taiki-e/install-action
  dependency-version: 2.63.3
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

Bumps [actions/download-artifact](https://github.com/actions/download-artifact) from 6.0.0 to 7.0.0.
- [Release notes](https://github.com/actions/download-artifact/releases)
- [Commits](actions/download-artifact@018cc2c...37930b1)

---
updated-dependencies:
- dependency-name: actions/download-artifact
  dependency-version: 7.0.0
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

updates:
- [github.com/astral-sh/ruff-pre-commit: v0.14.8 → v0.14.9](astral-sh/ruff-pre-commit@v0.14.8...v0.14.9)

Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>

* Phoenix: Fix incomplete switch-case node mismatch.

* Use full_graph instead.

* Missed a place.

* Fix.

…daries. (#5943)

…pevar. (#5945)

* typecheck ailment.BlockWalkerBase

* Typechecking to go with the AILBlockWalker stuff

* one fix

* blah

* red fix

* blue fix

* Fix performance impact

* whack

* Fix

* lint

* improve peephole opt logic

* whack

* whack

* proposed simplifications to peephole optimizers

* lint

* lint...

* ALMOST DONE

* The ol switcheroo

…5948)

* StructuredCodegen: Fix crashes in _access when kernel_stride is 0.

* Type check.

* Add AILCodeLocation

* missed a spot

…op reference handling. (#5950)

…ng again. (#5951)

* VRA: Fix redundant typevars created in Reference handler.

Also:

- Fix an issue in CallingConventionAnalysis that does not mark
prototypes from SimProcedures as not-guessed (certain).

- Fix an issue where Clinic incorrectly overwrites function
prototypes of PLT stubs using callee information.

- Fix an issue where changing the types of stack variables may not work
if the stack variables are accessed via references.

* SimpleSolver: Hack around variable size mismatch issues.

Bumps [taiki-e/install-action](https://github.com/taiki-e/install-action) from 2.63.3 to 2.65.1.
- [Release notes](https://github.com/taiki-e/install-action/releases)
- [Changelog](https://github.com/taiki-e/install-action/blob/main/CHANGELOG.md)
- [Commits](taiki-e/install-action@d850aa8...b9c5db3)

---
updated-dependencies:
- dependency-name: taiki-e/install-action
  dependency-version: 2.65.1
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <[email protected]>

Bumps [codecov/test-results-action](https://github.com/codecov/test-results-action) from 1.1.1 to 1.2.1.
- [Release notes](https://github.com/codecov/test-results-action/releases)
- [Commits](codecov/test-results-action@47f89e9...0fa95f0)

---
updated-dependencies:
- dependency-name: codecov/test-results-action
  dependency-version: 1.2.1
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <[email protected]>

Bumps [astral-sh/setup-uv](https://github.com/astral-sh/setup-uv) from 7.1.5 to 7.1.6.
- [Release notes](https://github.com/astral-sh/setup-uv/releases)
- [Commits](astral-sh/setup-uv@ed21f2f...681c641)

---
updated-dependencies:
- dependency-name: astral-sh/setup-uv
  dependency-version: 7.1.6
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <[email protected]>

updates:
- [github.com/astral-sh/ruff-pre-commit: v0.14.9 → v0.14.10](astral-sh/ruff-pre-commit@v0.14.9...v0.14.10)

Bumps [EnricoMi/publish-unit-test-result-action](https://github.com/enricomi/publish-unit-test-result-action) from 2.21.0 to 2.22.0.
- [Release notes](https://github.com/enricomi/publish-unit-test-result-action/releases)
- [Commits](EnricoMi/publish-unit-test-result-action@34d7c95...27d65e1)

---
updated-dependencies:
- dependency-name: EnricoMi/publish-unit-test-result-action
  dependency-version: 2.22.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <[email protected]>

Bumps [rangemap](https://github.com/jeffparsons/rangemap) from 1.7.0 to 1.7.1.
- [Changelog](https://github.com/jeffparsons/rangemap/blob/main/CHANGELOG.md)
- [Commits](https://github.com/jeffparsons/rangemap/commits/v1.7.1)

---
updated-dependencies:
- dependency-name: rangemap
  dependency-version: 1.7.1
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <[email protected]>