bcm5719-llvm - Project Ortega BCM5719 LLVM

	Commit message (Expand)	Author	Age	Files	Lines
...
*	[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