llvm-project/clang
Alexey Samsonov 8e1162c71d Implement nonnull-attribute sanitizer
Summary:
This patch implements a new UBSan check, which verifies
that function arguments declared to be nonnull with __attribute__((nonnull))
are actually nonnull in runtime.

To implement this check, we pass FunctionDecl to CodeGenFunction::EmitCallArgs
(where applicable) and if function declaration has nonnull attribute specified
for a certain formal parameter, we compare the corresponding RValue to null as
soon as it's calculated.

Test Plan: regression test suite

Reviewers: rsmith

Reviewed By: rsmith

Subscribers: cfe-commits, rnk

Differential Revision: http://reviews.llvm.org/D5082

llvm-svn: 217389
2014-09-08 17:22:45 +00:00
..
INPUTS
bindings Expose the CUDA shared attribute to the C API. 2014-08-08 14:59:00 +00:00
docs Implement nonnull-attribute sanitizer 2014-09-08 17:22:45 +00:00
examples unique_ptrify JobList::Jobs 2014-09-04 16:04:28 +00:00
include Implement nonnull-attribute sanitizer 2014-09-08 17:22:45 +00:00
lib Implement nonnull-attribute sanitizer 2014-09-08 17:22:45 +00:00
runtime Unify the name of compiler-rt builtins library on Linux. 2014-05-22 21:13:30 +00:00
test Implement nonnull-attribute sanitizer 2014-09-08 17:22:45 +00:00
tools clang-format: [JS] Support alternative operator names as identifiers. 2014-09-04 18:23:42 +00:00
unittests clang-format: [JS] Format embedded function literals more efficently. 2014-09-05 09:27:38 +00:00
utils Simplify creation of a bunch of ArrayRefs by using None, makeArrayRef or just letting them be implicitly created. 2014-08-27 06:28:36 +00:00
www Remove suppression of dr547 test and instead test that deduction succeeds if we 2014-09-05 00:17:00 +00:00
.arcconfig Updated phabricator server. 2014-04-07 03:39:55 +00:00
.clang-format
.clang-tidy Add .clang-tidy configuration file to provide LLVM-optimized defaults for clang-tidy. 2014-09-08 13:33:32 +00:00
.gitignore
CMakeLists.txt Make clang's rewrite engine a core feature 2014-07-16 16:48:33 +00:00
CODE_OWNERS.TXT
INSTALL.txt
LICENSE.TXT
Makefile
ModuleInfo.txt
NOTES.txt Remove trailing spaces 2014-07-13 17:11:45 +00:00
README.txt Remove whitespace from test commit. 2014-07-16 19:10:36 +00:00

README.txt

//===----------------------------------------------------------------------===//
// C Language Family Front-end
//===----------------------------------------------------------------------===//

Welcome to Clang.  This is a compiler front-end for the C family of languages
(C, C++, Objective-C, and Objective-C++) which is built as part of the LLVM
compiler infrastructure project.

Unlike many other compiler frontends, Clang is useful for a number of things
beyond just compiling code: we intend for Clang to be host to a number of
different source-level tools.  One example of this is the Clang Static Analyzer.

If you're interested in more (including how to build Clang) it is best to read
the relevant web sites.  Here are some pointers:

Information on Clang:              http://clang.llvm.org/
Building and using Clang:          http://clang.llvm.org/get_started.html
Clang Static Analyzer:             http://clang-analyzer.llvm.org/
Information on the LLVM project:   http://llvm.org/

If you have questions or comments about Clang, a great place to discuss them is
on the Clang development mailing list:
  http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev

If you find a bug in Clang, please file it in the LLVM bug tracker:
  http://llvm.org/bugs/