Abstract: With the evolution of cloud storage, data outsourcing has become a common trend. While cloud storage provides convenient services, its privacy and security issues have also attracted ...

Loads a Go package, builds SSA, and forward-propagates [Lo, Hi] byte-length intervals through a target function. Compares the computed upper bound against a declared contract and reports PASS / FAIL / ...