Show patches with: Submitter = Tycho Andersen       |   5 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[RFC,v1,4/4] check copy_to_user() sizes static analysis of copy_to_user() - - - --- 2018-12-20 Tycho Andersen Changes Requested
[RFC,v1,3/4] add a check for copy_to_user() address spaces static analysis of copy_to_user() - - - --- 2018-12-20 Tycho Andersen Changes Requested
[RFC,v1,2/4] move name-based analysis before linearization static analysis of copy_to_user() - - - --- 2018-12-20 Tycho Andersen Changes Requested
[RFC,v1,1/4] expression.h: update comment to include other cast types static analysis of copy_to_user() - - - --- 2018-12-20 Tycho Andersen Mainlined
[RFC,v1] copy_{to,from}_user(): only inline when !__CHECKER__ [RFC,v1] copy_{to,from}_user(): only inline when !__CHECKER__ - - - --- 2018-12-09 Tycho Andersen Not Applicable