Abstrakt. Fail-Safe C är en säker implementering av fullt ANSI-C utvecklas av Oiwa och Sekiguchi. Den använder sina egna interna data representationer såsom 2-ord pekare och minnesblock med rubriker som beskriver deras innehåll. På grund av detta, samtal till externa funktioner som sammanställts av konventionella kompilatorer kräver konvertering av data representationer. Av säkerhetsskäl behöver många av dessa funktioner dessutom ytterligare kontroller av sina argument och returvärden. I detta dokument presenteras en metod för att halvautomatiskt generera ett omslag som gör ett sådant arbete. Vår strategi är att utveckla ett gränssnitt Definition Language (IDL) för att beskriva vad omslag måste göra före och efter funktion samtal. Vårt språk är baserat på CamlIDL, som utvecklades för ett liknande ändamål mellan mål Caml och C. Vår IDL-processor genererar kod genom att använda funktionernas typer och attribut. Egenskaperna är ytterligare information som beskriver egenskaper som inte kan uttryckas enbart med vanliga typer, t.ex. om en pekare kan vara NULL, vilket minnesområde som säkert kan nås via en pekare, etc. Vi undersökte Linux-systemanrop som testfall och utformade en uppsättning attribut som behövs för att generera deras omslag.
Suenaga m.fl. REF presenterar ett gränssnittsdefinitionsspråk för en situation som liknar vår.
A.: The Interface Definition Language for Fail-Safe C
{'venue': 'In: Proceedings of the 2003 International Symposium on Software Security. Lecture Notes in Computer Science', 'journal': None, 'mag_field_of_study': ['Computer Science']}