summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer
Commit message (Expand)AuthorAgeFilesLines
* Move isObjCSelf into Expr.Anna Zaks2012-10-011-13/+6
* [analyzer] Address Jordan's review for r164868.Anna Zaks2012-10-011-16/+14
* [analyzer] Allow ObjC ivar lvalues where the base is nil.Jordan Rose2012-10-011-12/+2
* Revert "[analyzer] Check that a member expr is valid even when the result is ...Jordan Rose2012-10-011-17/+9
* Have AnalyzerOptions::getBooleanOption() stick the matching configTed Kremenek2012-10-013-13/+16
* Add checker debug.ConfigDumper to dump the contents of the configuration table.Ted Kremenek2012-10-012-0/+39
* Reapply "[analyzer] Handle inlined constructors for rvalue temporaries correc...Jordan Rose2012-10-011-1/+8
* [analyzer] Make ProgramStateManager's SubEngine parameter optional.Jordan Rose2012-10-015-11/+11
* Revert "[analyzer] Create a temporary region for rvalue structs when accessin...Jordan Rose2012-09-291-9/+9
* Revert "[analyzer] Create a temp region when a method is called on a struct r...Jordan Rose2012-09-291-31/+22
* Revert "[analyzer] Handle inlined constructors for rvalue temporaries correct...Jordan Rose2012-09-291-8/+1
* [analyzer] Do not visit ObjCMethodDecl twice in the AST checkers.Anna Zaks2012-09-291-1/+0
* [analyzer] Re-implement IvarInvalidationChecker so that it verifies thatAnna Zaks2012-09-291-62/+259
* [analyzer] Handle inlined constructors for rvalue temporaries correctly.Jordan Rose2012-09-281-1/+8
* [analyzer] Create a temp region when a method is called on a struct rvalue.Jordan Rose2012-09-281-22/+31
* [analyzer] Create a temporary region for rvalue structs when accessing fieldsJordan Rose2012-09-281-9/+9
* [analyzer] Address Jordan's code review for r164790.Anna Zaks2012-09-271-18/+18
* [analyzer] IvarInvalidation: track synthesized ivars and allow escapeAnna Zaks2012-09-271-31/+69
* Unbreak cmake buildAnna Zaks2012-09-271-0/+1
* [analyzer] Add an experimental ObjC direct ivar assignment checker.Anna Zaks2012-09-272-0/+182
* [analyzer] Address Jordan's code review comments for r164716.Anna Zaks2012-09-272-15/+17
* Revert 'Fix a typo 'iff' => 'if''. iff is an abreviation of if and only if. S...Sylvestre Ledru2012-09-271-2/+2
* Fix a typo 'iff' => 'if'Sylvestre Ledru2012-09-271-2/+2
* IvarInvalidationChecker.cpp: Remove an unused member, InterfD. [-Wunused-priv...NAKAMURA Takumi2012-09-271-2/+1
* [analyzer] Add experimental ObjC invalidation method checker.Anna Zaks2012-09-263-7/+331
* Revert "Use sep instead of ' '."Ted Kremenek2012-09-261-1/+1
* Use sep instead of ' '.Ted Kremenek2012-09-261-1/+1
* Remove unnecessary ASTContext& parameter from SymExpr::getType().Ted Kremenek2012-09-268-21/+19
* Reapply "[analyzer] Remove constraints on dead symbols as part of removeDeadB...Jordan Rose2012-09-252-9/+8
* [analyzer] Calculate liveness for symbolic exprs as well as atomic symbols.Jordan Rose2012-09-251-28/+40
* [analyzer] Fix a buildbot crash triggered by turning on dynamicAnna Zaks2012-09-251-1/+1
* [analyzer]Prevent infinite recursion(assume->checker:evalAssume->assume)Anna Zaks2012-09-241-1/+3
* [analyzer] Suppress bugs whose paths go through the return of a null pointer.Jordan Rose2012-09-222-6/+25
* [analyzer] Track a null value back through FindLastStoreBRVisitor.Jordan Rose2012-09-221-27/+36
* [analyzer] Always allow BugReporterVisitors to see the bug path.Jordan Rose2012-09-221-21/+57
* [analyzer] Allow a BugReport to be marked "invalid" during path generation.Jordan Rose2012-09-222-10/+40
* [analyzer] Look through OpaqueValueExprs when tracking a nil value.Jordan Rose2012-09-221-0/+3
* [analyzer] Better path notes for null pointers passed as arguments.Jordan Rose2012-09-221-7/+53
* Use llvm::getOrdinalSuffix to print ordinal numbers in diagnostics.Jordan Rose2012-09-222-36/+13
* [analyzer] Check that an ObjCIvarRefExpr's base is non-null even as an lvalue.Jordan Rose2012-09-223-14/+22
* [analyzer] Check that a member expr is valid even when the result is an lvalue.Jordan Rose2012-09-221-9/+17
* Re-enable faux-bodies by default.Ted Kremenek2012-09-211-1/+1
* Revert r164364, "Flip "faux-bodies" in the analyzer on by default to flush ou...NAKAMURA Takumi2012-09-211-1/+1
* Flip "faux-bodies" in the analyzer on by default to flush out bugs.Ted Kremenek2012-09-211-1/+1
* Simplify getRuntimeDefinition() back to taking no arguments.Ted Kremenek2012-09-212-10/+10
* Implement faux-body-synthesis of well-known functions in the static analyzer ...Ted Kremenek2012-09-215-13/+39
* [analyzer] MallocChecker should not do post-call checks on inlined functions.Jordan Rose2012-09-201-0/+3
* Revert "[analyzer] Remove constraints on dead symbols as part of removeDeadBi...Jordan Rose2012-09-202-8/+9
* [analyzer] Teach the analyzer about implicit initialization of staticsAnna Zaks2012-09-174-11/+10
* Fix grammar.Ted Kremenek2012-09-131-4/+4
OpenPOWER on IntegriCloud