A new codeanalyzer-python release (v1.1.0) is published.
Update the codeanalyzer-python pin in this repo and adapt the
integration to the changes below (see PyCodeanalyzer._run_analyzer).
[1.1.0] - 2026-07-27
Changed
- The Scalpel-backed L4 points-to oracle is now vendored (
typed_ast-free)
and the default on all supported Python (3.9–3.14); python-scalpel is no
longer an optional dependency and the [scalpel] extra is removed. On Python
3.12+ (and anywhere the [scalpel] extra was not installed), L4
prov:["points-to"] data-dependence edges are now Scalpel-precise rather than
the coarser type-based over-approximation; the prov:["ssa"] set and the
L3 ⊆ L4 monotonicity invariant are unchanged. Adds astor as a runtime
dependency.
A new
codeanalyzer-pythonrelease (v1.1.0) is published.Update the
codeanalyzer-pythonpin in this repo and adapt theintegration to the changes below (see
PyCodeanalyzer._run_analyzer).[1.1.0] - 2026-07-27
Changed
typed_ast-free)and the default on all supported Python (3.9–3.14);
python-scalpelis nolonger an optional dependency and the
[scalpel]extra is removed. On Python3.12+ (and anywhere the
[scalpel]extra was not installed), L4prov:["points-to"]data-dependence edges are now Scalpel-precise rather thanthe coarser type-based over-approximation; the
prov:["ssa"]set and theL3 ⊆ L4monotonicity invariant are unchanged. Addsastoras a runtimedependency.