ponder-lab / Hybridize-Functions-Refactoring / #3498

89%

main: 89%

Build Type

Pull #1090

github

Committed by khatchad

Commit Message

Recognize a module only by points-to, not by import alias

The trace-time effect check fell back to a module's import alias read
from the script's scope when the read's points-to set was empty. That
fallback stood in for a fact the engine owes: random, time, and cv2 have
no summaries, so their reads point to nothing (wala/ML#1080). A module is
now recognized only by the type of the object its read points to, and
Util.scriptScopeReadName, left without a caller, is removed.

numpy.random and tf.io.gfile calls are still refused through points-to,
including under the onp alias. reads_clock, draws_python_random, and
reads_image are pinned as not yet refused, with a TODO citing
wala/ML#1080. process_image_label and predict_dataset stay refused for
their open calls.

Part of #1077.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01NTnpjPjJj2aZy1ZkUD1eAn

Pull Request Pull Request #1090: Refuse Python I/O, clock reads, and Python-level randomness that tracing runs once

Coverage Stats

70 of 77 new or added lines in 5 files covered. (90.91%)

242 existing lines in 4 files now uncovered.

5237 of 5923 relevant lines covered (88.42%)

0.88 hits per line