https://vacua.dev/tags/static-analysis/Recent content in Static-Analysis on Brian FaustHugoen-USMon, 01 Jan 0001 00:00:00 +0000https://vacua.dev/thoughts/static-analysis-turns-assumptions-into-questions/Sun, 01 Sep 2019 00:00:00 +0000https://vacua.dev/thoughts/static-analysis-turns-assumptions-into-questions/<p>A domain action caught any exception and returned <code>false</code>, <code>null</code>, or an empty array. Elsewhere, reusable services read the current request, tenant, and locale from mutable framework context.</p> <p>Both patterns can be intentional. A fallback may be the contract at a presentation boundary. Ambient context is normal in the code which receives a web request. The problem appears when domain failure becomes indistinguishable from a valid negative answer, or when a reusable service silently depends on which request happened to call it.</p>