Startup Trasec develops the TRAPC programming language, a dialect of the SI language designed to ensure safe memory handling. TRAPC utilizes a different method of working with pointers and includes a special error processing mechanism to prevent memory-related errors like buffer overflows. It is mentioned that the pointer operations will not deviate from the norm and will be implemented during compilation. The source code of the TraPC compiler is set to be released in 2025.
At the ABI TraPC level, compatibility with SI is maintained, allowing developers to integrate TraPC and pure SI code in a single application. However, pure SI code does not guarantee memory safety. The project is led by Robin Rowe (Robin Rowe), a former computer sciences professor who previously created the graphic editor cinepaint, used in the production of several Hollywood films, as well as the Posix Library libunistd for Windows.
Specific details about the project have not been disclosed yet. Only a few code examples have been provided, indicating that Trapc will prevent scenarios like using the BUFF buffer in “StRCPY(BUFF, Argv[1]);” or attempting to exceed the buffer or array boundaries. The exact mechanisms behind this protection have not been elaborated.
Supplement: A video showcasing the Trapc language was released at the w2140 conference.