Graydon Hoare
Graydon Hoare
The error handling system is extremely subtle. In particular: - how it emulates WASM VM-trapping in native-testing mode with induced-and-caught panics - how it uses the same API for both...
We currently ban re-entrant cross-contract calls, but we're expecting to add it as an _option_ users can opt-in to allowing in a given `call` host function call, at some point....
When printing a backtrace in `impl Debug for HostError` [here](https://github.com/stellar/rs-soroban-env/blob/1830c2d7bdbbaf2d85f43bf1a8ce7c6cf7f2248e/soroban-env-host/src/host/error.rs#L18) we do some frame filtering, but don't skip frames marked ``. When we're on a platform with no debuginfo or...
We fetch contract IDs as hashes fairly often, which means we're either copying around 32-byte hashes in the host or converting them to 8-byte `Object`s that hold handles pointing to...
For building wasms we decided to go with an approach that works on stable, which is to use `cargo rustc --crate-type cdylib` and tell users to enable LTO. This makes...
HostError (or really DebugInfo) should gain a little more structure to handle two cases: 1. When we fail to externalize events, we might still be able to capture a backtrace....
We should try hooking up [MIRAI](https://github.com/facebookexperimental/MIRAI/tree/main) to soroban to see if it can find panics we aren't aware of. This might be a bottomless task, so time-box it: - [...
We have a test that checks actual resource use vs. modeled, but we currently run it only on a small set of cases. This should be expanded to work with...
PR #1233 tests the linear memory host functions from synthetic wasm guest functions. There are a couple issues with these tests that would be nice to address: 1. They can...
Currently native test contracts don't do relative-to-absolute object handle translation the way VM frames do. In this way they lack a degree of fidelity with VM frames. When I initially...