TrapC projekt arendab C-sarnast keelt, mis töötab mäluga ohutult.

Traseci alustav arendab programmeerimiskeelt TrapC, mis on C keele dialekt, tagades turvalise mälu kasutamise. Mälu viga, näiteks mälupiiri ületamine ja juba vabastatud mälu juurde pääsemine, takistatakse TrapC-s fundamentaalselt erineva tõukeratta töötlemise ja spetsiaalse veahoidmise mehhanismiga, mis põhineb erandite töötlejatel (trap). TrapC kompilatori lähtekood plaanitakse avada 2025. aastal.

On väidetud, et tõukerattaga töötamise eripära ei riku harrastust ja rakendatakse kompilaatori toetusel. Keel loojate idee kohaselt garanteerib kompilaator, et näitajad viitavad ainult oma valdkondadele, samuti kontrollivad nad kõiki puutepindade piire. Kompilaator mäletab tüüpe ja ei luba ohtlikke tüüpide teisendusi. Kõik loodud muutujad ja puutepinnad initsialiseeritakse selgelt või täidetakse kompilaatori poolt nullidega.

TrapC-s kasutatakse malloc asemel C++-ile sarnast new konstruktoreid. free ja delete kutsungi ei ole, mälu vabastamine on kompilaatori ülesanne, mis kaitseb mälulekke vigu. Kogumises rakendatakse inkrementaalset automaatset mälu haldust, kuid ilma prügikoristajata. ABI tasandil on TrapC ühilduv C-ga, mis võimaldab kombineerida TrapC ja puhta C koodi ühes rakenduses, kuid C-koodi jaoks ei tagata mälu turvalisust.

Projekti arendab Robin Rowe, endine arvutiteaduste professor, kes osales C ja C++ standardite arendamise komiteedes, kes kunagi lõi graafika redaktori Cinepaint, mida kasutati mitmete Hollywoodi filmide loomisel, ning POSIX teeki libunistd Windowsis. Traseci asutaja on Gabrielle Pantera, kes oli juhatuse liige ettevõttes Disney.

Projekti üksikasju ei tooda praegu välja, näidatakse vaid paar koodi näidet, milles näiteks öeldakse, et TrapC ei lase buff-i puhverdust üle täita, kui täidetakse "strcpy(buff,argv[1]);" või ei lase pointerit või massiivi indekseid suurendada väärtuse võrra, mis nihutab nende piire eraldatud puhverdusest või massiivi lõpust. Kuidas selline kaitse täpselt saavutatakse, ei selgitata. \/\/ darpa_tractor.c int main(int argc,char* argv[]) { char buff[8]; \/\/ TrapC nullib vaikimisi, mälus ei ole raisatud ruumi int success = 0;\/\/ C-s, puhversuse ülekirjutamine rikub successi strcpy(buff,argv[1]); \/\/ TrapC ei saa alaregulatsiooni, strcpy on turvaline if(!strcmp(buff,"s3cr8tpw")) { success = 1; } if(success) \/\/ TrapC takistab strcpy ülekirjutamist, success on hea { printf("Tere tulemast!\n"); } return !success; } \/\/ trapc_ptr.c int main() { const char* ptr = "Tere tulemast"; \/\/ 12 tähemärki laiad while(ptr) \/\/ TrapC ei lase puhverdust üle täita { printf("%c",*ptr); \/\/ prindi üks tähemärk korraga ptr++; \/\/ Astub lõpust välja: TrapC nullib ptr! } \/\/ Ära ürita seda C-s, segfault jääb! assert(ptr == 0); return 0; } \/\/ trapc_array.c int score[10]; printf("%i",score[-1]); \/\/ TrapC ei luba ligipääsu for(int i = 0;i

Allikas: opennet.ru