History log of /illumos-gate/usr/src/tools/smatch/src/check_kernel.c (Results 1 – 4 of 4)
Revision Date Author Comments
# 6523a3aa 12-May-2020 John Levon <john.levon@joyent.com>

12724 update smatch to 0.6.1-rc1-il-5
Reviewed by: Toomas Soome <tsoome@me.com>
Reviewed by: Robert Mustacchi <rm@fingolfin.org>
Approved by: Dan McDonald <danmcd@joyent.com>


# c85f09cc 11-Nov-2019 John Levon <john.levon@joyent.com>

11972 resync smatch
Reviewed by: Robert Mustacchi <rm@fingolfin.org>
Approved by: Dan McDonald <danmcd@joyent.com>


# efe51d0c 24-Jul-2019 John Levon <john.levon@joyent.com>

11506 smatch resync
Reviewed by: Yuri Pankov <yuri.pankov@nexenta.com>
Reviewed by: Toomas Soome <tsoome@me.com>
Approved by: Robert Mustacchi <rm@joyent.com>


# 1f5207b7 15-Dec-2018 John Levon <john.levon@joyent.com>

10063 basic support for smatch
10153 checkpaths shouldn't check packaging exceptions
Reviewed by: Toomas Soome <tsoome@me.com>
Approved by: Dan McDonald <danmcd@joyent.com>