Projekt TrapC arendab C-laadset keelt, mis töötab turvaliselt mälu osas.

Start-up Trasec arendab programmeerimiskeelt TrapC, mis on C keele dialekt, tagades mäluga turvalise töö. TrapC-s kasutatakse mäluprogrammeerimise vigade, nagu mälulehtrist välja minemine ja juba vabastatud mälule viitamine, blokeerimiseks täiesti erinevat lähenemist pointers’ile ning erilisi eksimuste püüdmismehhanisme, mis põhinevad erandihalduritel (trap). TrapC kompilaatori lähtekood avatakse plaanide kohaselt 2025. aastal.

On väidetud, et pointeritega töötamise spetsiifika ei riku võimalikult palju traditsioonilist toimimist ning selle rakendamine toimub kompilaatori abil. Keele autorite idee kohaselt tagab kompilaator, et pointerid viitavad ainult oma seotud mälupiirkondadele ning kontrollib kõiki puhverpiire. Kompilaator mäletab tüüpe ja ei luba ebaturvalist tüüpide edasiviimist. Kõik loodud muutujad ja puhvrid initsialiseeritakse selgelt või täidetakse kompilaatori poolt nullidega.

TrapC-s kasutatakse malloc asemel C++-le sarnast new-konstruktorit. Vabastamise korraldeid free ja delete ei eksisteeri ning mälu vabastamise eest vastutab kompilaator, mis kaitseb mäluleketest tulenevate vigade eest. Mälu kasutatakse inkrementaalse automaatse haldamisega, kuid prügikoguja puudub. ABI tasandil on TrapC ühilduv C-ga, võimaldades kombineerida ühes rakenduses TrapC ja puhtast C koodi, kuid C koodi jaoks ei tagata mälu ohutust.

Projekti juhib Robin Rowe, endine arvutiteaduse professor, kes osales C ja C++ standardite arendamise komiteedes. Ta lõi grafika redaktori Cinepaint, mida kasutati mitmete Hollywoodi filmide loomisel, ning POSIX-i teegi libunistd Windowsile. Ettevõtte Trasec kaasasutaja on Gabrielle Pantera, kes töötas juhatuses Disney-s.

Projektist pole veel details, näidatud on vaid mõned koodinäited, kus näiteks väidetakse, et TrapC ei lase bufferit buff ületada, kui käivitada „strcpy(buff, argv[1]);” või ei lase suunajal või massiivi indeksil suureneda väärtusel, mis nihkub selle eraldatud mälust või massiivi lõpust kaugemale. Kuidas sellist kaitset saavutatakse, ei selgitata. // darpa_tractor.c int main(int argc, char* argv[]) { char buff[8]; // TrapC nullib automaatselt, ei ole räpast mälu int success = 0; // C keeles rikub bufferi ületamine successi strcpy(buff, argv[1]); // TrapC ei saa ületada, strcpy on turvaline if (!strcmp(buff, "s3cr8tpw")) { success = 1; } if (success) // TrapC blokeeris strcpy ületamise, success on hea { printf("Tere tulemast!\n"); } return !success; } // trapc_ptr.c int main() { const char* ptr = "Hello World"; // 12 tähemärki laius while (ptr) // TrapC-ga ei toimu bufferi ületamist { printf("%c", *ptr); // trüki üks täht korraga ptr++; // astub lõpust välja: TrapC nullib ptr-i! } // Ära proovi seda C-s, põhjustab segfaulti! assert(ptr == 0); return 0; } // trapc_array.c int score[10]; printf("%i", score[-1]); // TrapC ei luba juurde pääseda for(int i = 0; i

Allikas: opennet.ru