>>159928Felix beißt mal an! *mampf*
>>guckt mal mein neues hippes valgrind!
Es ist kein valgrind, und auch kein Address Sanitizer (welcher besser als valgrind ist). Es ist ein umgeschriebener Clang-Compiler, welcher zur Laufzeit darauf prüft, dass z.B. nicht außerhalb des Arrays (oder zufällig ins falsche Array, was von valgrind/ASAN nicht erkannt wird) geschrieben wird.
https://fil-c.org/invisicaps_by_example#outofboundsbutinbounds
Der Typ sagt über sein eigenes Projekt (Eigenlob):
>Reliably achieves memory safety for C and C++ with stronger guarantees than rewriting in Java or Rust. Much stronger guarantees than asan/valgrind/softbound/hwasan/mte (those aren’t memory safe at all! Too easy to bypass). Similar guarantees to CHERI, just on stock HW.
https://nitter.poast.org/filpizlo/status/1950606819946320356
>Problemlösung ist Fortran. Kein Aliasing kein Speicherproblem.
Es gibt sehr viel mehr Speicherprobleme als nur Aliasing, und die meisten Probleme sind nicht aufs Aliasing zurückzuführen. Im Grunde ist die Strict-Aliasing-Rule von C/C++ auch nur eine PsyOP der CIA, um Programmierer von sinnvollen Tätigkeiten abzuhalten und stattdessen in Rechtsanwälte zu verwandeln.
>>159938Und das mit Fortran und Aliasing muss ihm ChatGPT gesteckt haben.