Finding User/Kernel Pointer Bugs with Type Inference
Finding User/Kernel Pointer Bugs with Type Inference
Finding User/Kernel Pointer Bugs with Type Inference
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
<strong>Type</strong> Qualifiers<br />
Qualifiers refine basic types<br />
✑✑✰<br />
✑<br />
✑<br />
int<br />
◗ ◗◗◗<br />
$kernel<br />
int<br />
$user<br />
int<br />
“$kernel int” is called a qualified type<br />
Qualifiers must match in assignments:<br />
$kernel int k1, k2;<br />
$user int u;<br />
k1 = k2; // OK<br />
k2 = u; // ERROR<br />
<strong>Finding</strong> <strong>User</strong>/<strong>Kernel</strong> <strong>Pointer</strong> <strong>Bugs</strong> <strong>with</strong> <strong>Type</strong> <strong>Inference</strong> – p.6