Skip to content

test(checks): verify cross-contract invoke and deploy detectors against fixtures - #459

Open
shobhamerabacha-star wants to merge 1 commit into
Veritas-Vaults-Network:mainfrom
shobhamerabacha-star:feat/cross-contract-invoke-deploy-detectors-448
Open

shobhamerabacha-star wants to merge 1 commit into
Veritas-Vaults-Network:mainfrom
shobhamerabacha-star:feat/cross-contract-invoke-deploy-detectors-448

Conversation

@shobhamerabacha-star

Copy link
Copy Markdown

Closes #448

Summary of Changes

  • Added integration test suite cross_contract_fixtures_test.rs under crates/checks/tests/ verifying all 6 cross-contract invoke and deploy detectors against committed contract fixtures.
  • Validated positive detection against test-contracts/*-vulnerable fixtures:
    • deploy-address-lost
    • deploy-arbitrary-wasm
    • invoke_nonexistent_func
    • invoke-result-stored
    • invoke-return
    • unvalidated-invoke-target
  • Validated clean passes against corresponding test-contracts/*-safe fixtures with zero false positives.
  • Full workspace verification: 1041 unit tests + 6 fixture integration tests passing (100% green), cargo clippy and cargo fmt clean.

…st fixtures

- Add cross_contract_fixtures_test integration suite covering all 6 cross-contract detectors
- Verify positive detection against test-contracts/*-vulnerable fixtures:
  - deploy-address-lost
  - deploy-arbitrary-wasm
  - invoke_nonexistent_func
  - invoke-result-stored
  - invoke-return
  - unvalidated-invoke-target
- Verify silent pass against test-contracts/*-safe fixtures with zero false positives

Closes Veritas-Vaults-Network#448
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.

Implement the cross-contract invoke and deploy detectors (6 checks, fixtures ready)

1 participant