Re: A Famous Security Bug

On Sat, 23 Mar 2024 11:26:03 +0000
bart <bc@freeuk.com> wrote:

On 23/03/2024 07:26, James Kuyper wrote:

bart <bc@freeuk.com> writes: 

On 22/03/2024 17:14, James Kuyper wrote: 

[...] 

If you want to tell a system not only what a program must do, but
also how it must do it, you need to use a lower-level language
than C. 

>
Which one? 

 
That's up to you. The point is, C is NOT that language. 

 
I'm asking which /mainstream/ HLL is lower level than C. So
specifically ruling out assembly.

I don't know of any, and said nothing to suggest that there is one. I'm
only pointing out that if that's important to you, you must either find
such a language, or create it (as you seem to already be doing). If, as
you imply, there's no such mainstream HLL, that implies that there's not
enough people sharing your preferences to make such an HLL popular
enough to qualify as mainstream.
I certainly don't care how my programs achieve their observable
behavior, and I'm only too happy to let machine-language experts use
their specialized expertise to create compilers which achieve that
behavior in whatever way is best for the target system. I have no desire
to spend my time aquiring that expertise.