Range

This case checks for unchecked values obtained from the user level that may be used as array indices or loop bounds.

Semantic matches

A fault-finding semantic match considering the functions copy_from_user and memcpy_fromfs
A fault-finding semantic match considering the function get_user
A note finding semantic match, in the rules copy. This refers to this semantic match.
A note finding semantic match, for get.

Results for `copy_from_user` and `memcpy_fromfs`

Linux 2.4: Results, Correlation information
Linux 2.6: Results, Correlation information

Results for `get_user`

Linux 2.4: Results, Correlation information
Linux 2.6: Results, Correlation information