They cooperate in that NSErrorChecker listens for ImplicitNullDerefEvent events that
DereferenceChecker can dispatch.
ImplicitNullDerefEvent is when we dereferenced a location that may be null.

llvm-svn: 126659

A checker can register as receiver/listener of "events" (basically it registers a callback
with a function getting called with an argument of the event type) and other checkers can
register as "dispatchers" and can pass an event object to all the listeners.
This allows cooperation amongst checkers but with very loose coupling.

llvm-svn: 126658

llvm-svn: 126657

llvm-svn: 126629

llvm-svn: 126627

llvm-svn: 126626

llvm-svn: 126625

llvm-svn: 126624

llvm-svn: 126623

llvm-svn: 126622

llvm-svn: 126621

llvm-svn: 126620

llvm-svn: 126619

llvm-svn: 126618

llvm-svn: 126617

llvm-svn: 126616

llvm-svn: 126615

llvm-svn: 126614

llvm-svn: 126613

-Now it gets enabled with '-analyzer-checker=DeadStores'.
-The driver passes the above flag by default.

llvm-svn: 126612

llvm-svn: 126611

llvm-svn: 126610

Turns -analyzer-check-buffer-overflows into -analyzer-checker=core.experimental.Overflow

llvm-svn: 126609

llvm-svn: 126608

llvm-svn: 126607

llvm-svn: 126606

llvm-svn: 126523

llvm-svn: 126522

Intoduce '-analyzer-checker-help' flag which outputs a list of all available static analyzer checkers.

This is pretty basic for now, eventually checkers should be grouped according to package, hidden checkers should be indicated etc.

llvm-svn: 126454

[analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't have any checkers associated with it anymore.

llvm-svn: 126440

For example, if 'core.experimental.UnreachableCode' is hidden, it should not be enabled with 'core.experimental'.
Note that this requires llvm commit r126436.

llvm-svn: 126439

llvm-svn: 126438

llvm-svn: 126371

If the state is new, make sure an ExplodedNode is associated with it.

llvm-svn: 126370

llvm-svn: 126369

Fix tiny error in CFG construction for BinaryConditionalOperators, making sure the branch always has two successors.  Also teach Environment::getSVal() about OpaqueValueExprs.

This fixes a crash reported in PR9287, and also fixes a false positive involving the value of such ternary
expressions not properly getting propagated.

llvm-svn: 126362

llvm-svn: 126352

llvm-svn: 126351

llvm-svn: 126350

llvm-svn: 126333