- 87aa2fb Remove duplicate includes. by Roman Divacky · 12 years ago
- 1655bcd [analyzer] Address Jordan's nitpicks as per code review of r170625. by Anna Zaks · 12 years ago
- bf53dfa [analyzer] Add the pointer escaped callback. by Anna Zaks · 12 years ago
- 9fcc2ab Pass AnalyzerOptions to PathDiagnosticConsumer to make analyzer options accessible there. by Ted Kremenek · 12 years ago
- 7959671 [analyzer] Implement "do not inline large functions many times" by Anna Zaks · 12 years ago
- d743243 fixed line endings by Anton Yartsev · 12 years ago
- 2bfa166 added post-statement callback to CXXNewExpr and pre-statement callback to CXXDeleteExpr by Anton Yartsev · 12 years ago
- 12b3e31 [analyzer] Propagate the checker's state from checkBranchCondition by Anna Zaks · 12 years ago
- b0abacf Refactor dump methods to make RegionBindingsRef printable in the debugger. by Ted Kremenek · 12 years ago
- 4f69eb4 [analyzer] Don't crash running destructors for multidimensional arrays. by Jordan Rose · 12 years ago
- 75f31c4 [analyzer] Optimization heuristic: do not reanalyze every ObjC method as by Anna Zaks · 12 years ago
- afa7cae [analyzer] Fix r168019 to work with unpruned paths as well. by Jordan Rose · 12 years ago
- 18f860e Reduce conversions between Store <-> ImmutableMapRef in RegionStore. by Ted Kremenek · 12 years ago
- 0c312a9 Add helper method to convert from a RegionStoreRefBindings to a Store. by Ted Kremenek · 12 years ago
- bf25fb1 Cache queries to lookupPrivateMethod() within ObjCMethodCall::getRuntimeDefinition(). by Ted Kremenek · 12 years ago
- 23dca7d Further reduce analysis time by 0.2% on a heavy Objective-C example by avoiding over-eager canonicalization of clusters. by Ted Kremenek · 12 years ago
- 75191fd Unbreak the GCC (4.4 & other bot) builds from r169571. by David Blaikie · 12 years ago
- 29f5ccd Change RegionStore to always use ImmutableMapRef for processing cluster bindings. by Ted Kremenek · 12 years ago
- 1449149 Revert "[analyzer] Aggressively cut back on the canonicalization in RegionStore." by Ted Kremenek · 12 years ago
- c39f9fa [analyzer] Remove isa<> followed by dyn_cast<>. by Jordan Rose · 12 years ago
- 9428723 [analyzer] Remove unused fields from ExprEngine. by Jordan Rose · 12 years ago
- e9cd031 [analyzer] Remove checks that predate the linearized CFG. by Jordan Rose · 12 years ago
- 4ecca28 [analyzer] Use a smarter algorithm to find the last block in an inlined call. by Jordan Rose · 12 years ago
- 6960d08 [analyzer] Use optimized assumeDual for branches. by Jordan Rose · 12 years ago
- 426cc12 [analyzer] Aggressively cut back on the canonicalization in RegionStore. by Jordan Rose · 12 years ago
- 7affe15 [analyzer] Remove bindExprAndLocation, which does extra work for no gain. by Jordan Rose · 12 years ago
- e3ce2c1 Only provide explicit getCapturedRegion() and getOriginalRegion() from referenced_vars_iterator. by Ted Kremenek · 12 years ago
- 24570c4 Pull logic to map from VarDecl* to captured region using a helper function. WIP. by Ted Kremenek · 12 years ago
- 55fc873 Sort all of Clang's files under 'lib', and fix up the broken headers uncovered. by Chandler Carruth · 12 years ago
- a93d0f2 Include pruning and general cleanup. by Benjamin Kramer · 12 years ago
- 9852f58 Don't include Type.h in DeclarationName.h. by Benjamin Kramer · 12 years ago
- 2fa67ef Pull the Attr iteration parts out of Attr.h, so including DeclBase.h doesn't pull in all the generated Attr code. by Benjamin Kramer · 12 years ago
- 9c04666 Correctly handle IntegralToBool casts in C++ in the static analyzer. Fixes <rdar://problem/12759044>. by Ted Kremenek · 12 years ago
- 3881866 Remove workaround in RegionStore in r168741 since it is handled more generally by r168757. by Ted Kremenek · 12 years ago
- 1994e39 Fix another false positive due to a CXX temporary object appearing in a C initializer. by Ted Kremenek · 12 years ago
- bd8a11e Provide stop-gap solution to crash reported in PR 14436. by Ted Kremenek · 12 years ago
- dac6cd5 [analyzer] Fix a crash reported in PR 14400. by Anna Zaks · 12 years ago
- 84e1513 [analyzer] Fix a use-after-free introduced in r168019. by Jordan Rose · 12 years ago
- 63bc186 [analyzer] Report leaks at the closing brace of a function body. by Jordan Rose · 12 years ago
- 84c4845 [analyzer] Mark symbol values as dead in the environment. by Jordan Rose · 12 years ago
- 368f3b0 [analyzer] Make sure calls in synthesized functions have valid path locations. by Jordan Rose · 12 years ago
- bae930d [analyzer] Address Jordan's feedback for r167780. by Anna Zaks · 12 years ago
- d51db49 [analyzer] Follow up to r167762 - precisely determine the adjustment conditions. by Anna Zaks · 12 years ago
- e7ad14e [analyzer] Fix a regression (from r 165079): compare canonical types. by Anna Zaks · 12 years ago
- 4e674f7 [analyzer] When invalidating symbolic offset regions, take fields into account. by Jordan Rose · 12 years ago
- 40d8551 [analyzer] Move convenience REGISTER_*_WITH_PROGRAMSTATE to CheckerContext.h by Jordan Rose · 12 years ago
- 0a591c2 StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp: Appease msvc. by NAKAMURA Takumi · 12 years ago
- 8501b7a [analyzer] Run remove dead on end of path. by Anna Zaks · 12 years ago
- b355be8 [analyzer] Refactor: Remove Pred from NodeBuilderContext. by Anna Zaks · 12 years ago
- 2f3017f [analyzer] Add some convenience accessors to CallEvent, and use them. by Jordan Rose · 12 years ago
- d624607 [analyzer] isCLibraryFunction: check that the function is at TU-scope. by Jordan Rose · 12 years ago
- 166d502 [analyzer] Use nice macros for the common ProgramStateTraits (map, set, list). by Jordan Rose · 12 years ago
- 785950e [analyzer] Rename 'EmitReport' to 'emitReport'. by Jordan Rose · 12 years ago
- c45bb4d [analyzer] Let ConstraintManager subclasses provide a more efficient checkNull. by Jordan Rose · 12 years ago
- 3719ed2 [analyzer]Don't invalidate const arguments when there is no IdentifierInfo. by Anna Zaks · 12 years ago
- 6a329ee [analyzer] New option to not suppress null return paths if an argument is null. by Jordan Rose · 12 years ago
- 09f7bf1 [analyzer] Use the CallEnter node to get a value for tracked null arguments. by Jordan Rose · 12 years ago
- 3800165 Add comments for RemoveRedundantMsgs, rename it to removeRedundantMsgs() per Jordan's feedback. by Ted Kremenek · 12 years ago
- b85cce0 TrackConstraintBRVisitor and ConditionBRVisitor can emit similar by Ted Kremenek · 12 years ago
- 603513d [analyzer] Handle 'SomeVar.SomeEnumConstant', which is legal in C++. by Jordan Rose · 12 years ago
- 4d9e497 [analyzer] Replace -analyzer-no-eagerly-trim-egraph with graph-trim-interval. by Jordan Rose · 12 years ago
- b59b580 [analyzer] Assume 'new' never returns NULL if it could throw an exception. by Jordan Rose · 12 years ago
- d4ce811 [analyzer] When binding to a ParenExpr, bind to its inner expression instead. by Jordan Rose · 12 years ago
- f1e67d7 [analyzer] Create a temporary region when accessing a struct rvalue. by Jordan Rose · 12 years ago
- f238aa4 [analyzer] Embed the analyzer version into the plist output. by Anna Zaks · 12 years ago
- e5a934d [analyzer] Remove the "direct bindings only" Environment lookup. by Jordan Rose · 12 years ago
- 42e95ac [analyzer] Remove unneeded 'inlineCall' checker callback. by Jordan Rose · 12 years ago
- 786e620 Reapply "[analyzer] Treat fields of unions as having symbolic offsets." by Jordan Rose · 12 years ago
- 8ceb837 Temporarily Revert "[analyzer] Treat fields of unions as having symbolic offsets." by Eric Christopher · 12 years ago
- cf9030e [analyzer] Treat fields of unions as having symbolic offsets. by Jordan Rose · 12 years ago
- cf4ce93 [analyzer] Handle implicit statements used for end-of-path nodes' source locs. by Jordan Rose · 12 years ago
- 48314cf [analyzer] Adjust the return type of an inlined devirtualized method call. by Jordan Rose · 12 years ago
- aa66b08 [analyzer] Push evalDynamicCast and evalDerivedToBase up to Store. by Jordan Rose · 12 years ago
- 041ce8e Teach getCXXRecordDeclForPointerType about references. by Jordan Rose · 12 years ago
- 86e7b7e Silence -Wunused-value warning. by Ted Kremenek · 12 years ago
- 48d05e6 Refactor clients of AnalyzerOptions::getBooleanOption() to have by Ted Kremenek · 12 years ago
- 94bb74c Tweak AnalyzerOptions::getOptionAsInteger() to populate the string by Ted Kremenek · 12 years ago
- 9e28fe6 Change AnalyzerOptions::mayInlineCXXMemberFunction to default populate by Ted Kremenek · 12 years ago
- e606e3d [analyzer] Allow ObjC ivar lvalues where the base is nil. by Jordan Rose · 12 years ago
- d27a368 Revert "[analyzer] Check that a member expr is valid even when the result is an lvalue." by Jordan Rose · 12 years ago
- 622b6fb Have AnalyzerOptions::getBooleanOption() stick the matching config by Ted Kremenek · 12 years ago
- 0504a59 Reapply "[analyzer] Handle inlined constructors for rvalue temporaries correctly." by Jordan Rose · 12 years ago
- ca5d78d [analyzer] Make ProgramStateManager's SubEngine parameter optional. by Jordan Rose · 12 years ago
- ce6644b Revert "[analyzer] Create a temporary region for rvalue structs when accessing fields" by Jordan Rose · 12 years ago
- 20aa403 Revert "[analyzer] Create a temp region when a method is called on a struct rvalue." by Jordan Rose · 12 years ago
- 846c898 Revert "[analyzer] Handle inlined constructors for rvalue temporaries correctly." by Jordan Rose · 12 years ago
- 580cd17 [analyzer] Handle inlined constructors for rvalue temporaries correctly. by Jordan Rose · 12 years ago
- 0006ba4 [analyzer] Create a temp region when a method is called on a struct rvalue. by Jordan Rose · 12 years ago
- 6f61df3 [analyzer] Create a temporary region for rvalue structs when accessing fields by Jordan Rose · 12 years ago
- b35007c Revert "Use sep instead of ' '." by Ted Kremenek · 12 years ago
- fb9a0ed Use sep instead of ' '. by Ted Kremenek · 12 years ago
- 732cdf3 Remove unnecessary ASTContext& parameter from SymExpr::getType(). by Ted Kremenek · 12 years ago
- 0073a5c Reapply "[analyzer] Remove constraints on dead symbols as part of removeDeadBindings." by Jordan Rose · 12 years ago
- 6e3bf21 [analyzer] Calculate liveness for symbolic exprs as well as atomic symbols. by Jordan Rose · 12 years ago
- 05c3b9a [analyzer]Prevent infinite recursion(assume->checker:evalAssume->assume) by Anna Zaks · 12 years ago
- b9d4e5e [analyzer] Suppress bugs whose paths go through the return of a null pointer. by Jordan Rose · 12 years ago
- 53221da [analyzer] Track a null value back through FindLastStoreBRVisitor. by Jordan Rose · 12 years ago
- d632d6f [analyzer] Always allow BugReporterVisitors to see the bug path. by Jordan Rose · 12 years ago
- 8347d3d [analyzer] Allow a BugReport to be marked "invalid" during path generation. by Jordan Rose · 12 years ago
- 6686b66 [analyzer] Look through OpaqueValueExprs when tracking a nil value. by Jordan Rose · 12 years ago