Pointer Provenansmodel For C

Internationale tekniske specifikation ISO/IEC TS 6010 definerer en fælles pointerprovenansmodel for C.

Pointerprovenans sporer oprindelsen af pointerværdier gennem programudførelse for at sikre entydig aliasanalyse.

Uklare regler for pointeraliasering i den nuværende C-standard hæmmer compileroptimering og kan føre til bugs.

Modellen introducerer begrebet storage instance med entydig levetid og byte-array for hver allokering eller defineret objekt.

Adressepladsen specificeres som abstrakte adresser, hvor bytes i en storage instance har sammenhængende adresser.

Pointereksponering (f.eks. læsning af pegerbytes, konvertering til integer, printf/fwrite) bryder provenansgarantien.

Pointer­syntese (f.eks. delvis bytomanipulation, integerkonvertering, fread/scanf) kræver forudgående eksponering af provenans.

Ved adresser til nabosupporter vælger modellen provenance ud fra, hvordan pointeren anvendes i udtryk.

Anbefaling: Undgå at eksponere pointere (pointer–integer casts, byteadgang, printf%p osv.) for at bevare optimeringsmuligheder.