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.


---------

Reply via email to