UpStare version UPSTARE_RELEASE_0-12-3 adds support for an update model of lazy updates, support for dynamic stack tracing, the ability to define runtime update constraints that can be useful for minimizing state mappings, for type-safety, and for transaction-safety, the option of marking some functions to not be instrumented for stack reconstruction, and clarifies in the documentation that the default compilation flags of dynamic update patches should use -fPIC.