summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer
Commit message (Expand)AuthorAgeFilesLines
* Add missing virtual destructors reported by -Wnon-virtual-dtor.Daniel Jasper2012-12-051-0/+2
* [analyzer] Implement an opt-in variant of direct ivar assignment.Anna Zaks2012-12-052-9/+57
* Alphabetize source files, just like they have been before.Ted Kremenek2012-12-041-1/+1
* Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth2012-12-0484-217/+212
* Add raw_ostream include to pacify MSVC.Benjamin Kramer2012-12-011-0/+1
* Include pruning and general cleanup.Benjamin Kramer2012-12-0123-1/+23
* Don't include Type.h in DeclarationName.h.Benjamin Kramer2012-12-013-0/+3
* Pull the Attr iteration parts out of Attr.h, so including DeclBase.h doesn't ...Benjamin Kramer2012-12-0112-11/+23
* Correctly handle IntegralToBool casts in C++ in the static analyzer. Fixes <...Ted Kremenek2012-11-291-2/+8
* Remove workaround in RegionStore in r168741 since it is handled more generall...Ted Kremenek2012-11-281-10/+8
* Fix another false positive due to a CXX temporary object appearing in a C ini...Ted Kremenek2012-11-281-2/+4
* Provide stop-gap solution to crash reported in PR 14436.Ted Kremenek2012-11-271-8/+10
* [analyzer] Fix a crash reported in PR 14400.Anna Zaks2012-11-262-1/+3
* Make helpers static/anonymous.Benjamin Kramer2012-11-221-2/+2
* [analyzer] Fix a use-after-free introduced in r168019.Jordan Rose2012-11-151-4/+5
* [analyzer] Report leaks at the closing brace of a function body.Jordan Rose2012-11-153-13/+24
* [analyzer] StreamChecker: Remove now-unnecessary check::EndPath callback.Jordan Rose2012-11-151-46/+1
* [analyzer] MacOSKeychainAPIChecker: Remove now-unnecessary check::EndPath.Jordan Rose2012-11-151-75/+0
* [analyzer] MallocChecker: Remove now-unnecessary check::EndPath callback.Jordan Rose2012-11-151-29/+1
* [analyzer] Mark symbol values as dead in the environment.Jordan Rose2012-11-153-20/+37
* [analyzer] Make sure calls in synthesized functions have valid path locations.Jordan Rose2012-11-152-10/+20
* [analyzer] Address Jordan's code review for r167813.Anna Zaks2012-11-131-20/+15
* Fix a Malloc Checker FP by tracking return values from initWithCharacterAnna Zaks2012-11-131-20/+81
* [analyzer] Address Jordan's feedback for r167780.Anna Zaks2012-11-131-4/+5
* [analyzer] Follow up to r167762 - precisely determine the adjustmentAnna Zaks2012-11-121-3/+13
* [analyzer] Fix a regression (from r 165079): compare canonical types.Anna Zaks2012-11-121-0/+2
* [analyzer] When invalidating symbolic offset regions, take fields into account.Jordan Rose2012-11-101-6/+63
* [analyzer] Check that the argument to CFMakeCollectable is non-NULL.Jordan Rose2012-11-072-10/+18
* [analyzer] Enhance docs for checker callbacks (esp. processRegionChanges).Jordan Rose2012-11-071-13/+28
* [analyzer] Add symbol escapes logic to the SimpleStreamChecker.Anna Zaks2012-11-061-1/+125
* [analyzer] Remove isWithinInlined. It's been replaced with inTopFrame().Anna Zaks2012-11-061-1/+1
* [analyzer] Move convenience REGISTER_*_WITH_PROGRAMSTATE to CheckerContext.hJordan Rose2012-11-053-6/+9
* StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp: Appease msvc.NAKAMURA Takumi2012-11-031-2/+2
* [analyzer] Run remove dead on end of path.Anna Zaks2012-11-034-8/+65
* [analyzer] add LocationContext::inTopFrame() helper.Anna Zaks2012-11-031-7/+1
* [analyzer] Refactor: Remove Pred from NodeBuilderContext.Anna Zaks2012-11-033-12/+12
* [analyzer] Convert SimpleStreamChecker over to CallEvent.Jordan Rose2012-11-021-13/+23
* [analyzer] CheckerDocumentation: Change examples for PreStmt and PostStmt.Jordan Rose2012-11-021-9/+9
* [analyzer] Add some convenience accessors to CallEvent, and use them.Jordan Rose2012-11-025-12/+31
* [analyzer] isCLibraryFunction: check that the function is at TU-scope.Jordan Rose2012-11-022-11/+18
* [analyzer] Factor SimpleStreamChecker pulling out isLeaked().Anna Zaks2012-11-021-15/+21
* [analyzer] Convert some of the harder cases over to ProgramStateTrait macros.Jordan Rose2012-11-023-62/+24
* [analyzer] Use nice macros for the common ProgramStateTraits (map, set, list).Jordan Rose2012-11-0210-158/+63
* [analyzer] Rename 'EmitReport' to 'emitReport'.Jordan Rose2012-11-0242-80/+80
* [analyzer] Fix typo in r167186.Jordan Rose2012-11-011-1/+1
* [analyzer] Minor cleanup in SimpleStreamChecker's class definition.Jordan Rose2012-11-011-8/+8
* [analyzer] Rename ConditionTruthVal::isTrue to isConstrainedTrue.Jordan Rose2012-11-014-9/+23
* [analyzer] Fix a bug in SimpleStreamChecker - return after sink.Anna Zaks2012-10-311-1/+3
* [analyzer] Let ConstraintManager subclasses provide a more efficient checkNull.Jordan Rose2012-10-312-8/+27
* [analyzer] SimpleStreamChecker - remove evalAssume and other refinementsAnna Zaks2012-10-311-56/+30
OpenPOWER on IntegriCloud