Lackwit’s type system
Lackwit ignores the C type declarations
Computes new types in a richer type system
- char* strcpy(char* dest,char* source)
- (num? ref?, num ? ref?) ?? num ? ref?
- Implies
- Result may be aliased with dest (flow between pointers)
- Values may flow between the characters of the parameters
- No flow between source and dest arguments (no aliasing)