| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | check_freeing_null.c | 1f5207b7 Sat Dec 15 15:13:09 UTC 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>
|
| H A D | check_frees_argument.c | 1f5207b7 Sat Dec 15 15:13:09 UTC 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>
|
| H A D | check_frees_param_strict.c | 1f5207b7 Sat Dec 15 15:13:09 UTC 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>
|
| H A D | check_gfp_dma.c | 1f5207b7 Sat Dec 15 15:13:09 UTC 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>
|
| H A D | check_implicit_dependencies.c | 1f5207b7 Sat Dec 15 15:13:09 UTC 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>
|
| H A D | check_implicit_dependencies_tester.c | 1f5207b7 Sat Dec 15 15:13:09 UTC 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>
|
| H A D | check_impossible_mask.c | 1f5207b7 Sat Dec 15 15:13:09 UTC 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>
|
| H A D | check_indenting.c | 1f5207b7 Sat Dec 15 15:13:09 UTC 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>
|
| H A D | check_index_overflow.c | 1f5207b7 Sat Dec 15 15:13:09 UTC 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>
|
| H A D | check_info_leak.c | 1f5207b7 Sat Dec 15 15:13:09 UTC 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>
|
| H A D | check_input_free_device.c | 1f5207b7 Sat Dec 15 15:13:09 UTC 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>
|
| H A D | check_kmalloc_to_bugon.c | 1f5207b7 Sat Dec 15 15:13:09 UTC 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>
|
| H A D | check_kmalloc_wrong_size.c | 1f5207b7 Sat Dec 15 15:13:09 UTC 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>
|
| H A D | check_kunmap.c | 1f5207b7 Sat Dec 15 15:13:09 UTC 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>
|
| H A D | check_leaks.c | 1f5207b7 Sat Dec 15 15:13:09 UTC 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>
|
| H A D | check_logical_instead_of_bitwise.c | 1f5207b7 Sat Dec 15 15:13:09 UTC 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>
|
| H A D | check_macros.c | 1f5207b7 Sat Dec 15 15:13:09 UTC 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>
|
| H A D | check_memcpy_overflow.c | 1f5207b7 Sat Dec 15 15:13:09 UTC 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>
|
| H A D | check_min_t.c | 1f5207b7 Sat Dec 15 15:13:09 UTC 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>
|
| H A D | check_no_effect.c | 1f5207b7 Sat Dec 15 15:13:09 UTC 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>
|
| H A D | check_no_if_block.c | 1f5207b7 Sat Dec 15 15:13:09 UTC 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>
|
| H A D | check_or_vs_and.c | 1f5207b7 Sat Dec 15 15:13:09 UTC 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>
|
| H A D | check_passes_sizeof.c | 1f5207b7 Sat Dec 15 15:13:09 UTC 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>
|
| H A D | check_pointer_math.c | 1f5207b7 Sat Dec 15 15:13:09 UTC 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>
|
| H A D | check_proc_create.c | 1f5207b7 Sat Dec 15 15:13:09 UTC 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>
|