Project Review
Confirmed by current deterministic rules in the analyzed static scope.
Analysis cache: full_recompute
Start here: review confirmed findings first; then inspect the highest review-breadth targets before making broad changes.
What needs attention?
What should I review if I change this?
Where is the evidence?
Review first
Review breadth is prioritization metadata, not defect truth.
| # | Target | Breadth | Files | State coupled | Boundaries |
|---|---|---|---|---|---|
| 1 | app.py | 8 | 3 | 0 | 3 |
| 2 | extra.py | 7 | 2 | 0 | 3 |
| 3 | helper.py | 7 | 2 | 0 | 3 |
| 4 | 1 | 1 | 1 | 0 | |
| 5 | bad.py | 0 | 1 | 0 | 0 |
Current findings
Confirmed defects: 1
Anomalies: 0
Hotspots: 0
A hotspot means “review-worthy,” not “wrong.” Unknown remains unknown.
Scope
Repository → semantic graph → data/state closure → impact → findings
Python-only, static-first. Dynamic dispatch, reflection, native behavior, precise runtime path probability, and concurrency remain outside the current strong claim.
Findings
| Severity | Class | Type | Location | Symbol | Evidence statement |
|---|---|---|---|---|---|
| high | defect | possibly_undefined_local | bad.py:4 | broken | Local variable 'value' may be undefined on at least one reaching control-flow path. |
Impact Review
Direct means one-hop graph evidence. Derived means bounded resolved call paths plus shared-state coupling.
Functional shapes
| Motif | Instances |
|---|---|
| resource_scope | 1 |
| read_modify_write | 1 |
Program structure
Resolved local calls: 2
Boundary calls: 3
State regions: 1
State writes: 1
Effect relations: 1
Source identity
| Path | Bytes | SHA-256 |
|---|---|---|
| app.py | 224 | 2ec088553b6e6f879a… |
| bad.py | 66 | fa44a6a601b5f7c68d… |
| extra.py | 29 | 447d7f48d560011b5f… |
| helper.py | 32 | ae12b83043de4abfc4… |
Epistemic boundary
- Python AST definitions
- imports
- call syntax
- control syntax
- source spans
- local file hashes
- SSA-like local definitions/uses
- self/cls/explicit-global state accesses
- module-binding reads
- explicit raise/except syntax
- definition-time Python name aliases
- local call target resolution
- parameter-container state regions
- effect hints
- branch/loop phi merges
- explicit exception catch matching
- structural motif candidates
- runtime dispatch
- reflection
- native extension behavior
- external library semantics
- precise heap points-to beyond definition-time alias
- dynamic exception behavior from calls
- concurrency semantics