Programska in strojna platforma CHERIoT 1.0 za povečanje varnosti kode v jeziku C
Predstavljen je končni različica specifikacije programsko-strojne platforme CHERIoT 1.0 (Capability Hardware Extension to RISC-V for Internet of Things), ki določa razširitev naborov ukazov (ISA) za ustvarjanje zaščitenih naprav. CHERIoT zagotavlja strojne možnosti za sledenje dostopu do pomnilnika, preverjanje pravilnosti dela z kazalci in zagotavljanje izolacije blokov kode. Hkrati je objavljena stabilna različica referenčnega formalnega modela CHERIoT ISA, ki je bila določena […]
