Skip to content

docs: document missing-event-for-admin-change and unchecked-token-amount - #388

Merged
unrealtim-tech merged 1 commit into
SorobanGuard:mainfrom
Jesmaiya04:docs/284-286-document-missing-event-admin-unchecked-token
Jul 31, 2026
Merged

docs: document missing-event-for-admin-change and unchecked-token-amount#388
unrealtim-tech merged 1 commit into
SorobanGuard:mainfrom
Jesmaiya04:docs/284-286-document-missing-event-admin-unchecked-token

Conversation

@Jesmaiya04

@Jesmaiya04 Jesmaiya04 commented Jul 30, 2026

Copy link
Copy Markdown
Contributor

Summary

Adds documentation sections in docs/checks.md for two checks that were implemented but had no corresponding documentation entry.


missing-event-for-admin-change (Medium)

Flags public admin-mutating functions (set_owner, set_admin, transfer_ownership, set_operator) inside #[contractimpl] that write to storage but never call env.events().publish(). Administrative state changes should be observable off-chain for auditing and governance monitoring.

unchecked-token-amount (Medium)

Flags token transfer/mint calls (transfer, transfer_from, xfer, mint) where the function body contains no guard validating the amount is greater than zero. Zero or negative amounts can silently bypass intended accounting logic.


Changes

  • docs/checks.md: two new ## sections added at the end of the file, consistent with the style and structure of existing entries.

Notes

Issues #285 (uninitialized-storage-read) and #287 (missing-ttl-extension) were already merged to main via upstream commits before this PR was opened, so they are not included here.

Closes #284
Closes #285
Closes #286
Closes #287

…unt checks

Add sections for two undocumented checks in docs/checks.md:

- missing-event-for-admin-change (Medium): flags public admin-mutating
  functions (set_owner, set_admin, transfer_ownership, set_operator) that
  write to storage without emitting an event via env.events().publish().

- unchecked-token-amount (Medium): flags token transfer/mint calls
  (transfer, transfer_from, xfer, mint) where no guard validates the
  amount is greater than zero.

Note: issues SorobanGuard#285 (uninitialized-storage-read) and SorobanGuard#287
(missing-ttl-extension) were already merged to upstream main before
this PR was opened; their closes are included here for traceability.

Closes SorobanGuard#284
Closes SorobanGuard#285
Closes SorobanGuard#286
Closes SorobanGuard#287
@Jesmaiya04
Jesmaiya04 force-pushed the docs/284-286-document-missing-event-admin-unchecked-token branch from 64803de to 7592f69 Compare July 30, 2026 11:27
@unrealtim-tech
unrealtim-tech merged commit 1f33dd8 into SorobanGuard:main Jul 31, 2026
0 of 2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

2 participants