5.8. Pointer Aliasing Notes | Embedded System BSC-CSIT | TU | TABFlux