News for hackers. Stuff that matters.
Re:The C Bounded Model Checker: Criminally Underused by pjmlp on Wednesday January 31, 2024 @05:47AM (#39202252)
Pascal, the dialects most people used, not the ISO Pascal from 1972 used by Kernighan, had ways to pass around dynamically size arrays and strings.

Which anyway was not an issue in the PL/I variants that predated C, nor the Mesa/Modula-2 descendents from the mid-70's.

EDIT:

Walter's example with 1978's Modula-2.

    MODULE Example;

    FROM InOut IMPORT WriteString, Write, WriteLn;

    PROCEDURE get(buffer : ARRAY OF CHAR): CHAR;
    BEGIN
      RETURN buffer[10]; (* This will boom unless compiled with bounds checking disabled, in which case who knows *)
    END get;

    VAR
      buffer : ARRAY [0..9] OF CHAR;

    BEGIN
        WriteString('The out of bounds character is');
        Write(get(buffer));
        WriteLn;
    END Example.
Re:The C Bounded Model Checker: Criminally Underused by Joker_vD on Wednesday January 31, 2024 @05:52AM (#39202292)
Yes, and most Pascal implementations (and the Pascal descendants) also have functioning module systems, unlike C. But worse is better.
Re:The C Bounded Model Checker: Criminally Underused by pjmlp on Wednesday January 31, 2024 @06:07AM (#39202391)
It is more like, having a free beer OS to come alongside the language is a big selling point.
Re:The C Bounded Model Checker: Criminally Underused by WalterBright on Wednesday January 31, 2024 @11:21AM (#39205601)
ImportC has a functioning module system! It's a consequence of it being built alongside a D compiler.