Skip to content

Commit c415d64

Browse files
committed
docs: link issue #161 from the Page.xaml.cs timer FP re-triage notes
Cross-reference the tracked precision follow-up (non-IDisposable timer local flagged OWN001) from the baseline entry and oracle-known-fps.md root-cause #1. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_019846YSZ35c7CdkWQ1qX5gm
1 parent 7bcd17c commit c415d64

2 files changed

Lines changed: 2 additions & 2 deletions

File tree

corpus/oracle-fp-baseline.txt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -43,7 +43,7 @@ protobuf-net/protobuf-net | ProtoTranscoder.cs | OWN001 | 'sync' | non-product (
4343
# btnRunTest_Click has a DispatcherTimer local) — neither is IDisposable. So the using-statement
4444
# fix does NOT apply here (confirmed: still emitted, still baselined). It stays a non-product FP;
4545
# the open question is WHY a non-IDisposable timer-shaped local is flagged at all (needs a local
46-
# extractor repro). See docs/notes/oracle-known-fps.md root-cause #1.
46+
# extractor repro; tracked in issue #161). See docs/notes/oracle-known-fps.md root-cause #1.
4747
protobuf-net/protobuf-net | Page.xaml.cs | OWN001 | local 'timer' | non-product (assorted/ Silverlight perf sample); `timer` is a non-IDisposable Stopwatch/DispatcherTimer and the only using(timer) block is commented out — not a missed-using; flagging it is a separate precision question, kept baselined
4848

4949
# --- JamesNK/Newtonsoft.Json ----------------------------------------------------

docs/notes/oracle-known-fps.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -155,7 +155,7 @@ entry and let the oracle re-confirm clean.
155155
local (`btnRunTest_Click`) — neither is `IDisposable`. So the entry stays baselined as a
156156
non-product sample FP; the real open question is **why a non-`IDisposable` timer-shaped
157157
local is flagged at all** (a precision follow-up needing a local extractor repro, not a
158-
missed `using`). Other custom-sink fixtures: `field-dispose-via-helper`,
158+
missed `using`; tracked in issue #161). Other custom-sink fixtures: `field-dispose-via-helper`,
159159
`field-dispose-via-exchange`.
160160

161161
2. **No-op `Dispose` not modelled — PARTLY FIXED** *(Newtonsoft `TraceJsonReader.

0 commit comments

Comments
 (0)