Project Review
Confirmed by current deterministic rules in the analyzed static scope.
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 | test_app.py | 3 | 2 | 0 | 0 |
| 2 | app.py | 3 | 2 | 0 | 0 |
| 3 | app.py | 3 | 2 | 0 | 0 |
| 4 | 1 | 1 | 1 | 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 | app.py:11 | root | 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 |
|---|---|
| read_modify_write | 1 |
Program structure
Resolved local calls: 2
Boundary calls: 0
State regions: 1
State writes: 1
Effect relations: 0
Source identity
| Path | Bytes | SHA-256 |
|---|---|---|
| app.py | 151 | 806edd292e6487fe9d… |
| test_app.py | 63 | d5edaf7f6b190e3f1b… |
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