bcm5719-llvm - Project Ortega BCM5719 LLVM

	Commit message (Expand)	Author	Age	Files	Lines
*	Have ScanReachableSymbols reported reachable regions. Fixes a false positive...	Ted Kremenek	2012-02-21	1	-0/+4
*	Have conjured symbols depend on LocationContext, to add context sensitivity f...	Ted Kremenek	2012-02-17	1	-4/+6
*	[analyzer] Make Malloc Checker optimistic in presence of inlining.	Anna Zaks	2012-02-14	1	-1/+1
*	Reapply r149311 which I reverted by mistake.	Argyrios Kyrtzidis	2012-01-31	1	-16/+22
*	Revert r149311 which failed to compile.	Argyrios Kyrtzidis	2012-01-31	1	-22/+16
*	Convert ProgramStateRef to a smart pointer for managing the reference counts ...	Ted Kremenek	2012-01-31	1	-16/+22
*	[analyzer] Add index out of bounds check for CFArrayGetArrayAtIndex.	Anna Zaks	2012-01-30	1	-2/+4
*	Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.	Ted Kremenek	2012-01-26	1	-30/+30
*	[analyzer] Skip casts when determining taint dependencies + pretty	Anna Zaks	2012-01-20	1	-0/+25
*	[analyzer] fix inlining's handling of mapping actual to formal arguments and ...	Ted Kremenek	2012-01-12	1	-2/+4
*	[analyzer] Add basic format string vulnerability checking.	Anna Zaks	2012-01-07	1	-1/+1
*	[analyzer] Make the entries in 'Environment' context-sensitive by making entr...	Ted Kremenek	2012-01-06	1	-103/+26
*	[analyzer] Be less pessimistic about invalidation of global variables	Anna Zaks	2012-01-04	1	-6/+6
*	Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_...	David Blaikie	2011-12-20	1	-0/+2
*	[analyzer] Minor: Simplify & assert.	Anna Zaks	2011-12-17	1	-2/+2
*	[analyzer] Better stdin support.	Anna Zaks	2011-12-16	1	-0/+6
*	[analyzer] Minor refactor to addTaint.	Anna Zaks	2011-12-14	1	-2/+8
*	[analyzer] Mark getenv output as tainted.	Anna Zaks	2011-12-14	1	-2/+9
*	[analyzer] Introduce IntSymExpr, where the integer is on the lhs.	Anna Zaks	2011-12-10	1	-0/+2
*	[analyzer] If memory region is tainted mark data as tainted.	Anna Zaks	2011-12-08	1	-0/+5
*	[analyzer] Cleanup: use the variable.	Anna Zaks	2011-12-07	1	-1/+1
*	[analyzer] Propagate taint through MemRegions.	Anna Zaks	2011-12-07	1	-2/+25
*	[analyzer] Add comments related to symbol_iterator	Anna Zaks	2011-12-06	1	-0/+1
*	[analyzer] Refactor: Move symbol_iterator from SVal to SymExpr, use it	Anna Zaks	2011-12-06	1	-24/+16
*	[analyzer] Propagate taint through NonLoc to NonLoc casts.	Anna Zaks	2011-12-06	1	-0/+7
*	[analyzer] Remove all uses of ConstraintManager::canResonAbout() from	Anna Zaks	2011-12-05	1	-3/+2
*	[analyzer] Add ability to do a simple ProgramState dump() without	Anna Zaks	2011-12-05	1	-36/+58
*	[analyzer] Minor tweaks to the ProgramState::isTainted().	Anna Zaks	2011-11-17	1	-6/+4
*	[analyzer] Adding basic building blocks for taint propagation.	Anna Zaks	2011-11-16	1	-0/+50
*	ST->scanReachableSymbols() is creating a SubRegionMap (SRM) on every call sin...	Anna Zaks	2011-09-22	1	-29/+0
*	[analyzer] Remove TransferFuncs.h, then deal with the fallout.	Jordy Rose	2011-09-02	1	-1/+0
*	[analyzer] Introduce a new callback for checkers, printState, to be used for ...	Jordy Rose	2011-08-28	1	-18/+14
*	[analyzer] Change the check::RegionChanges callback to include the regions ex...	Jordy Rose	2011-08-27	1	-20/+17
*	Add ProgramState.cpp.	Ted Kremenek	2011-08-15	1	-0/+662