aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/ProgramState.cpp
AgeCommit message (Expand)Author
2012-01-12[analyzer] fix inlining's handling of mapping actual to formal arguments and ...Ted Kremenek
2012-01-07[analyzer] Add basic format string vulnerability checking.Anna Zaks
2012-01-06[analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek
2012-01-04[analyzer] Be less pessimistic about invalidation of global variablesAnna Zaks
2011-12-20Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_...David Blaikie
2011-12-17[analyzer] Minor: Simplify & assert.Anna Zaks
2011-12-16[analyzer] Better stdin support.Anna Zaks
2011-12-14[analyzer] Minor refactor to addTaint.Anna Zaks
2011-12-14[analyzer] Mark getenv output as tainted.Anna Zaks
2011-12-10[analyzer] Introduce IntSymExpr, where the integer is on the lhs.Anna Zaks
2011-12-08[analyzer] If memory region is tainted mark data as tainted.Anna Zaks
2011-12-07[analyzer] Cleanup: use the variable.Anna Zaks
2011-12-07[analyzer] Propagate taint through MemRegions.Anna Zaks
2011-12-06[analyzer] Add comments related to symbol_iteratorAnna Zaks
2011-12-06[analyzer] Refactor: Move symbol_iterator from SVal to SymExpr, use itAnna Zaks
2011-12-06[analyzer] Propagate taint through NonLoc to NonLoc casts.Anna Zaks
2011-12-05[analyzer] Remove all uses of ConstraintManager::canResonAbout() fromAnna Zaks
2011-12-05[analyzer] Add ability to do a simple ProgramState dump() withoutAnna Zaks
2011-11-17[analyzer] Minor tweaks to the ProgramState::isTainted().Anna Zaks
2011-11-16[analyzer] Adding basic building blocks for taint propagation.Anna Zaks
2011-09-22ST->scanReachableSymbols() is creating a SubRegionMap (SRM) on every call sin...Anna Zaks
2011-09-02[analyzer] Remove TransferFuncs.h, then deal with the fallout.Jordy Rose
2011-08-28[analyzer] Introduce a new callback for checkers, printState, to be used for ...Jordy Rose
2011-08-27[analyzer] Change the check::RegionChanges callback to include the regions ex...Jordy Rose
2011-08-15Add ProgramState.cpp.Ted Kremenek