This implements <rdar://problem/6336718> and checks for CERT secure coding
advisory FLP30-C.

llvm-svn: 76900

llvm-svn: 76814

llvm-svn: 76813

'Checker' interface. An updated test case illustrates that after calling a
function with the 'nonnull' attribute we now register the fact that the passed
pointer must be non-null. This retention of information was not possible with
the previously used GRSimpleAPICheck interface.

llvm-svn: 76797

'cast type' of a region to invalidate its binding.  This only occurs
when using RegionStoreManager, as it records the cast type.  I'm
currently considering removing the notion of a cast type (see
comments in code).

llvm-svn: 76719

llvm-svn: 76656

Add test case for PR 4596, which is already fixed due to Steve Naroff's overhaul of the Objective-C type system, but isn't in a checker build yet.

llvm-svn: 76648

to SValuator::EvalCast. In the process, the StoreManagers now use this new cast
machinery, and the hack in GRExprEngine::EvalBind to handle implicit casts
involving OSAtomicCompareAndSwap and friends has been removed (and replaced with
logic closer to the logic specific to those functions).

llvm-svn: 76641

llvm-svn: 76626

llvm-svn: 76625

llvm-svn: 76624

llvm-svn: 76623

llvm-svn: 76621

llvm-svn: 76620

llvm-svn: 76619

llvm-svn: 76617

llvm-svn: 76616

llvm-svn: 76614

llvm-svn: 76613

llvm-svn: 76611

llvm-svn: 76610

llvm-svn: 76609

llvm-svn: 76608

llvm-svn: 76607

llvm-svn: 76606

functions that return a value.  I was going to buffer the whole lot
up, but it should be easier to review if I check them in
incrementally.  Most of the forth coming changes either add a return
value, or make it impossible to return, or alter the return type.

llvm-svn: 76605

llvm-svn: 76531

llvm-svn: 76530

llvm-svn: 76529

llvm-svn: 76522

llvm-svn: 76500

pointers.

Enhanced RegionStoreManager::Retrieve() to handle automatic casts when the
loaded value is different from the requested value. This should be refined over
time, but essentially we should always symbolicate locations as locations, and
convert them to non-locations on demand.

These changes now cause 'misc-ps.m' to pass again.

llvm-svn: 76497

llvm-svn: 76484

llvm-svn: 76469

Fix crash in StoreManager::NewCastRegion() when handling casts from 'id' (or whatever) to a BlockPointerType.

llvm-svn: 76288

llvm-svn: 76283

llvm-svn: 76133

llvm-svn: 76129

ValueManager::makeArrayIndex()/convertArrayIndex() methods.  This
handles yet another crash case when reasoning about array indices of
different bitwidth and signedness.

llvm-svn: 75884

Fix <rdar://problem/7062158> by having BasicStoreManager model values for 'static' global variables.

llvm-svn: 75844