On Mon, 29 Sept 2025 at 20:55, Jeremy Stanley <[email protected]> wrote:
> On 2025-09-29 09:01:26 +0530 (+0530), Amit wrote: > [...] > > The function body should also be secure. > > This generalizes to a tautology: The software is secure if the > software is secure. It's true, of course, as are all tautologies, > while also being a useless assertion. > > So, this means that you agree that if all functions are secure then the software is secure. ---------
