ponder-lab / Hybridize-Functions-Refactoring / #2382 / 1
81%
main: 83%

LAST BUILD BRANCH: dependabot/github_actions/actions/setup-python-7
DEFAULT BRANCH: main
Ran
Files 32
Run time 1s
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 80.547% (-0.1%) from 80.661%
#2382.1

push

github

web-flow 
Restore conservative call-site tainting in the numpy-flow scan (#746)

* Restore conservative call-site tainting in the numpy-flow scan

The return-taint precision refinement adopted in #743's review severed element-through-container flow: a list comprehension over a tainted parameter compiles to a synthetic callee returning a FRESH container whose elements are tainted but whose value is not, so the callee reported a clean return and the call site went untainted, letting NLPGNN's `TUDataset.cat` (`np.concatenate` over comprehension results) escape the precondition at corpus scale. Call-site definitions are now tainted conservatively whenever any argument is tainted, and the dead return-taint tracking is removed: for a safety precondition, over-tainting only declines an optimization while under-tainting ships a crasher, and value-level return-taint structurally cannot represent container-element flow. `testNumpyCallsThroughComprehension` pins the distilled `cat` shape.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01He1ULx8nRoHzGicMryry1A

* Address review: cite #745 in the comprehension pin's Javadoc

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01He1ULx8nRoHzGicMryry1A

---------

Co-authored-by: Claude Fable 5 <noreply@anthropic.com>

1913 of 2375 relevant lines covered (80.55%)

0.81 hits per line

Source Files on job #2382.1