On Thu, Jun 7, 2018 at 4:39 PM, Luc Van Oostenryck
<luc.vanoostenryck@xxxxxxxxx> wrote:
> This series adds support for the builtins doing overflow checking:
> * __builtin_{add,sub,mul}_overflow() and the _overflow_p() variants
> * __builtin_[us]{add,sub,mul}{,l,ll}_overflow()
> since these, or at least __builtin_{add,mul}_overflow() are now used
> in the kernel.
Oh nice! With this in place, should I not add the CHECKER test in the kernel?
-Kees
>
>
> This series is available for review & testing in the Git repository at:
> git://github.com/lucvoo/sparse-dev.git builtin-overflow
>
> and will be soon be pushed to the main tree at
> git://github.com/lucvoo/sparse.git master
>
>
> Luc Van Oostenryck (3):
> add builtin types {u,}{int,long,long}_ptr_ctype
> builtin: declare __builtin_[us]{add,sub,mul}{,l,ll}_overflow()
> builtin: add support for __builtin_{add,sub,mul}_overflow(), ...
>
> builtin.c | 94 +++++++++++++
> symbol.c | 9 ++
> symbol.h | 3 +
> validation/builtin-overflow.c | 246 ++++++++++++++++++++++++++++++++++
> 4 files changed, 352 insertions(+)
> create mode 100644 validation/builtin-overflow.c
--
Kees Cook
Pixel Security
--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
