Skip to content

Add bounds check database collector via -bcdb flag#1

Merged
Coursant merged 3 commits intomainfrom
copilot/add-bounds-checks-database
Mar 22, 2026
Merged

Add bounds check database collector via -bcdb flag#1
Coursant merged 3 commits intomainfrom
copilot/add-bounds-checks-database

Conversation

Copy link
Copy Markdown

Copilot AI commented Mar 21, 2026

  • Understand existing bounds_check_info module and codebase structure
  • Revert the unnecessary crate_info module and all its wiring (no new feature needed)
  • Add crate_name: String to BoundsCheckDb in bounds_check_info/mod.rs
  • Populate crate_name from tcx.crate_name(LOCAL_CRATE) in BoundsCheckAnalyzer::new()
  • Update test_bounds_check_db test assertion to verify crate_name appears in the JSON output
  • Build and verify the JSON output includes crate_name
  • Run all tests

✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.

@Coursant Coursant merged commit e5e97e8 into main Mar 22, 2026
2 checks passed
Copilot stopped work on behalf of Coursant due to an error March 22, 2026 04:46
@Coursant Coursant deleted the copilot/add-bounds-checks-database branch March 22, 2026 04:49
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.

2 participants