-
Notifications
You must be signed in to change notification settings - Fork 41
Closed
Labels
Description
Description
Implement specific decoding for WASM-level traps that occur during execution.
Requirements and Context
- Background: "Wasm Trap" is too vague. We need to know if it was an unreachable instruction, null pointer, etc.
- Success Criteria (Done):
- Identify and report "Out of Bounds Access", "Integer Overflow", and "Stack Overflow".
Suggested Execution
- Fork/Branch:
feature/decoder-wasm-traps - Implementation:
- Parse the error string returned by
soroban-env-host. - Match common trap patterns.
- Parse the error string returned by
Test and Commit
- Testing:
- Trigger different traps in a test contract and verify they are correctly identified.
- PR Inclusions:
- Trap identification logic.
Example Commit Message
feat(decoder): improve classification of wasm traps
Guidelines
- Must-haves: Differentiate between Host-initiated traps and VM-initiated traps.
Reactions are currently unavailable