This is an archive of the discontinued LLVM Phabricator instance.

Paths

[analyzer][docs] NFC: Extend documentation for MallocOverflow checker
ClosedPublic

Authored by steakhal on Nov 22 2019, 5:02 AM.

Reviewers

Commits

Summary

Adds and example for MallocOverflow checker how to suppress the warning via checking the upper bound of the allocation size.

Fair enough!

This revision is now accepted and ready to land.Nov 22 2019, 2:41 PM

This revision was automatically updated to reflect the committed changes.

Path

Size

clang/

docs/

analyzer/

6 lines

	Show First 20 Lines • Show All 1,968 Lines • ▼ Show 20 Lines
	Check for overflows in the arguments to malloc().			Check for overflows in the arguments to malloc().

	.. code-block:: c			.. code-block:: c

	void test(int n) {			void test(int n) {
	void p = malloc(n sizeof(int)); // warn			void p = malloc(n sizeof(int)); // warn
	}			}

				void test2(int n) {
				if (n > 100) // gives an upper-bound
				return;
				void p = malloc(n sizeof(int)); // no warning
				}

	.. _alpha-security-MmapWriteExec:			.. _alpha-security-MmapWriteExec:

	alpha.security.MmapWriteExec (C)			alpha.security.MmapWriteExec (C)
	""""""""""""""""""""""""""""""""			""""""""""""""""""""""""""""""""
	Warn on mmap() calls that are both writable and executable.			Warn on mmap() calls that are both writable and executable.

	.. code-block:: c			.. code-block:: c

	▲ Show 20 Lines • Show All 366 Lines • Show Last 20 Lines