A lot of static analysis tools explicitly support forcing you to check the value of "tainted" values such as return values of getc and so on i.e. even with slices you want to be able to catch this kind of thing ahead of time.