aboutsummaryrefslogtreecommitdiff
path: root/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
AgeCommit message (Expand)Author
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-14[analyzer] Minor refactor to addTaint.Anna Zaks
2011-12-07[analyzer] Propagate taint through MemRegions.Anna Zaks
2011-12-05[analyzer] Add ability to do a simple ProgramState dump() withoutAnna 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-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 missing header files.Ted Kremenek