Skip to content

Fix low-blast reasoner correctness bugs#45

Merged
InfoSecHack merged 1 commit into
mainfrom
codex/reasoner-low-blast-correctness-fixes
Jun 4, 2026
Merged

Fix low-blast reasoner correctness bugs#45
InfoSecHack merged 1 commit into
mainfrom
codex/reasoner-low-blast-correctness-fixes

Conversation

@InfoSecHack

Copy link
Copy Markdown
Owner

Summary

  • Add StringLike glob matching for iam:PassedToService in Lambda and ECS PassRole reasoners while preserving StringEquals exact matching and unsupported-operator UNKNOWN behavior.
  • Filter cross-account trust SCP evaluation to parent constraints whose type is SCP.
  • Demote S3 bucket takeover findings for dangling/uncollected bucket references to inconclusive/high and update S3 golden fixtures.

Validation

  • python -m pytest -q tests/test_passrole_lambda_reasoner.py tests/test_passrole_ecs_reasoner.py tests/test_cross_account_reasoner.py tests/test_s3_bucket_takeover_reasoner.py: 132 passed
  • ./scripts/check.sh: passed
  • ./scripts/test_fast.sh: 1952 passed
  • git diff --check: passed
  • account/ARN scans: only pre-existing placeholder examples remain in source comments/help
  • artifact scan: no matches

@InfoSecHack InfoSecHack marked this pull request as ready for review June 4, 2026 19:30
@InfoSecHack InfoSecHack merged commit d637827 into main Jun 4, 2026
6 checks passed
@InfoSecHack InfoSecHack deleted the codex/reasoner-low-blast-correctness-fixes branch June 4, 2026 19:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant