Log - ce15cce38c34ae73348457da73c52df81cde3588 - fp2-dev/platform/external/clang

ce15cce Remove dead method ProgramState::MarshalState(). by Ted Kremenek · 12 years ago
24c7f98 [analyzer] Remove constraints on dead symbols as part of removeDeadBindings. by Jordan Rose · 12 years ago
47cbd0f Remove ProgramState::getSymVal(). It was being misused by Checkers, by Ted Kremenek · 12 years ago
56a46b5 Rename 'unbindLoc()' (in ProgramState) and 'Remove()' to by Ted Kremenek · 12 years ago
32a549a Remove Store::bindDecl() and Store::bindDeclWithNoInit(), and by Ted Kremenek · 12 years ago
5be88dc Rename 'BindCompoundLiteral' to 'bindCompoundLiteral' and add doxygen comments. by Ted Kremenek · 12 years ago
0ad36ba [analyzer] Correctly devirtualize virtual method calls in destructors. by Jordan Rose · 12 years ago
f41c0dd [analyzer] Look up DynamicTypeInfo by region instead of symbol. by Jordan Rose · 12 years ago
d4fe57f [analyzer] Rename the function to better reflect what it actually does. by Anna Zaks · 12 years ago
0d53ab4 [analyzer] Track malloc'd regions stored in structs. by Jordan Rose · 12 years ago
e0d24eb [analyzer] Revamp RegionStore to distinguish regions with symbolic offsets. by Jordan Rose · 12 years ago
c7ecc43 [analyzer] Add a checker to manage dynamic type propagation. by Anna Zaks · 12 years ago
c1290e0 [analyzer] Fixup: remove the extra whitespace by Anna Zaks · 12 years ago
148fee9 [analyzer] ObjC Inlining: Start tracking dynamic type info in the GDM by Anna Zaks · 12 years ago
2d18419 [analyzer] Very simple ObjC instance method inlining by Anna Zaks · 12 years ago
972a368 [analyzer] Introduce a CallEventManager to keep a pool of CallEvents. by Jordan Rose · 12 years ago
e54cfc7 [analyzer] Use CallEvent for building inlined stack frames. by Jordan Rose · 12 years ago
740d490 [analyzer] Add a new abstraction over all types of calls: CallEvent by Jordan Rose · 12 years ago
7fa9b4f static analyzer: add inlining support for directly called blocks. by Ted Kremenek · 12 years ago
7f9b1d9 Have ScanReachableSymbols reported reachable regions. Fixes a false positive with nested array literals. <rdar://problem/10686586> by Ted Kremenek · 12 years ago
3133f79 Have conjured symbols depend on LocationContext, to add context sensitivity for functions called more than once. by Ted Kremenek · 12 years ago
66c4040 [analyzer] Make Malloc Checker optimistic in presence of inlining. by Anna Zaks · 12 years ago
a5888f6 Reapply r149311 which I reverted by mistake. by Argyrios Kyrtzidis · 13 years ago
b9b0f6f Revert r149311 which failed to compile. by Argyrios Kyrtzidis · 13 years ago
72e9306 Convert ProgramStateRef to a smart pointer for managing the reference counts of ProgramStates. This leads to a slight memory by Ted Kremenek · 13 years ago
af5f550 [analyzer] Add index out of bounds check for CFArrayGetArrayAtIndex. by Anna Zaks · 13 years ago
8bef823 Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. by Ted Kremenek · 13 years ago
be97b7e [analyzer] Skip casts when determining taint dependencies + pretty printing. by Anna Zaks · 13 years ago
0849ade [analyzer] fix inlining's handling of mapping actual to formal arguments and limit the call stack depth. The analyzer can now accurately simulate factorial for limited depths. by Ted Kremenek · 13 years ago
9f03b62 [analyzer] Add basic format string vulnerability checking. by Anna Zaks · 13 years ago
5eca482 [analyzer] Make the entries in 'Environment' context-sensitive by making entries map from by Ted Kremenek · 13 years ago
eb31a76 [analyzer] Be less pessimistic about invalidation of global variables by Anna Zaks · 13 years ago
99ba9e3 Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_anch by David Blaikie · 13 years ago
777d706 [analyzer] Minor: Simplify & assert. by Anna Zaks · 13 years ago
d3d8548 [analyzer] Better stdin support. by Anna Zaks · 13 years ago
28fd98d [analyzer] Minor refactor to addTaint. by Anna Zaks · 13 years ago
e55a22b [analyzer] Mark getenv output as tainted. by Anna Zaks · 13 years ago
24d052c [analyzer] Introduce IntSymExpr, where the integer is on the lhs. by Anna Zaks · 13 years ago
5fc7def [analyzer] If memory region is tainted mark data as tainted. + random comments by Anna Zaks · 13 years ago
b39c5b4 [analyzer] Cleanup: use the variable. by Anna Zaks · 13 years ago
dcf06fa [analyzer] Propagate taint through MemRegions. by Anna Zaks · 13 years ago
a91efb1 [analyzer] Add comments related to symbol_iterator by Anna Zaks · 13 years ago
1d1d515 [analyzer] Refactor: Move symbol_iterator from SVal to SymExpr, use it by Anna Zaks · 13 years ago
aace9ef [analyzer] Propagate taint through NonLoc to NonLoc casts. by Anna Zaks · 13 years ago
76462f0 [analyzer] Remove all uses of ConstraintManager::canResonAbout() from by Anna Zaks · 13 years ago
d016785 [analyzer] Add ability to do a simple ProgramState dump() without requiring CFG. by Anna Zaks · 13 years ago
ee081c4 [analyzer] Minor tweaks to the ProgramState::isTainted(). by Anna Zaks · 13 years ago
ceac1d6 [analyzer] Adding basic building blocks for taint propagation. by Anna Zaks · 13 years ago
5f62571 ST->scanReachableSymbols() is creating a SubRegionMap (SRM) on every call since one SRM is created in each ScanReachableSymbols instance. Creating the object just once and calling only scan inside the loop gives ~ 14% speed up of the StaticAnalyzer run (Release+Asserts). by Anna Zaks · 13 years ago
d1e5a89 [analyzer] Remove TransferFuncs.h, then deal with the fallout. by Jordy Rose · 13 years ago
dbd658e [analyzer] Introduce a new callback for checkers, printState, to be used for debug-printing the contents of a ProgramState. by Jordy Rose · 13 years ago
537716a [analyzer] Change the check::RegionChanges callback to include the regions explicitly requested for invalidation. by Jordy Rose · 13 years ago
2fde35d Add ProgramState.cpp. by Ted Kremenek · 13 years ago