summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Rely on LLVM Dominators in Clang dominator computation.Anna Zaks2011-12-051-2/+2
* [analyzer] Mark ConstraintManager::canReasonAbout as protected.Anna Zaks2011-12-051-2/+2
* [analyzer] Simplify the condition.Anna Zaks2011-12-051-3/+1
* [analyzer] Unify SymbolVal and SymExprVal under a single SymbolValAnna Zaks2011-12-055-181/+175
* [analyzer] Remove all uses of ConstraintManager::canResonAbout() fromAnna Zaks2011-12-054-53/+52
* [analyzer] First step toward removingAnna Zaks2011-12-054-20/+37
* [analyzer] Minor improvements on RangeConstraint pretty-printing.Anna Zaks2011-12-051-3/+5
* [analyzer] Change RetainCountChecker to use symbol dump method insteadAnna Zaks2011-12-051-2/+3
* [analyzer] Add ability to do a simple ProgramState dump() withoutAnna Zaks2011-12-051-36/+58
* [analyzer] Add a debug checker to test for tainted data.Anna Zaks2011-12-053-0/+67
* [analyzer] Make KeychainAPI checker less aggressive. radar://10508828Anna Zaks2011-12-011-3/+5
* [analyzer] Refactor checkers to use helper function for getting callee Decl a...Anna Zaks2011-12-0113-111/+49
* When analyzing a C++ method (without a specific caller), assume 'this' is non...Ted Kremenek2011-12-011-17/+34
* Further tweak -Wurneachable-code and templates by allowing the warning to run onTed Kremenek2011-12-011-2/+12
* Update CMake build.Benjamin Kramer2011-11-301-0/+1
* [analyzer] Add checker callback documentation.Anna Zaks2011-11-301-0/+219
* Relax RegionStore to allow loads from CodeTextRegions. Apparently you can ac...Ted Kremenek2011-11-291-5/+3
* [analyzer] Minor cleanup of SValBuilder: Comments + code reuse.Anna Zaks2011-11-281-11/+1
* [analyzer] Warn when non pointer arguments are passed to scanf (only when run...Anna Zaks2011-11-182-5/+35
* [analyzer] Do not conjure a symbol when we need to propagate taint.Anna Zaks2011-11-173-8/+34
* [analyzer] Minor tweaks to the ProgramState::isTainted().Anna Zaks2011-11-171-6/+4
* [analyzer] Add a helper method.Anna Zaks2011-11-171-0/+7
* [analysis] Constify CheckerContext.Anna Zaks2011-11-171-1/+1
* [analyzer] Put CheckerConext::getCalleeName out of line.Anna Zaks2011-11-172-0/+32
* Fixed crash with initializer lists and unnamed bitfields in the RegionStoreJim Goodnow II2011-11-161-1/+6
* Update CMake build.Benjamin Kramer2011-11-161-0/+1
* [analyzer] Catch the first taint propagation implied buffer overflow.Anna Zaks2011-11-161-5/+13
* [analyzer] Adding generic taint checker.Anna Zaks2011-11-162-0/+110
* [analyzer] Adding basic building blocks for taint propagation.Anna Zaks2011-11-161-0/+50
* [analyzer] Cleanup: Null->0, comments.Anna Zaks2011-11-161-4/+4
* [analyzer] Factor getCalleeName to the checker context.Anna Zaks2011-11-161-10/+1
* [static analyzer] Tweak RetainCountChecker's diagnostics to correctly indicat...Ted Kremenek2011-11-141-4/+20
* [analyzer;Regionstore] handle loads from StringLiteral elements for StringLit...Ted Kremenek2011-11-141-3/+3
* [static analyzer] be more specific when running removeDeadBindings. Instead ...Ted Kremenek2011-11-111-1/+1
* [static analyzer]: only call RemoveDeadBindings() when analyzing non-Expr stm...Ted Kremenek2011-11-101-1/+24
* Constant expression evaluation: support for evaluation of structs and unions ofRichard Smith2011-11-101-3/+1
* [analyzer] Remove redundant check from DivZeroCheckerAnna Zaks2011-11-081-1/+2
* Rip out CK_GetObjCProperty.John McCall2011-11-071-4/+1
* Change the AST representation of operations on Objective-CJohn McCall2011-11-061-0/+15
* [analyzer] There should be a space between "expect" and "only"Anna Zaks2011-11-051-1/+1
* Remove unused variables.Benjamin Kramer2011-11-041-2/+0
* Fix various minor issues find via unreachable code warnings, fromDouglas Gregor2011-11-021-3/+0
* Remove virtually empty file.Benjamin Kramer2011-11-022-18/+0
* [analyzer] Make sink attribute part of the node profile.Anna Zaks2011-11-013-50/+37
* [analyzer] Fix PR11282 - an assert in markAsSinkAnna Zaks2011-11-011-3/+6
* [analyzer] Make sure the child builder use temporary destination setsAnna Zaks2011-11-012-6/+9
* [analyzer] BranchNodeBuilder should not generate autotransitions.Anna Zaks2011-11-011-0/+1
* [analyzer] CheckerContext::getPredecessor() cleanupAnna Zaks2011-11-012-4/+3
* [analyzer] Remove the CheckerContext's destructor.Anna Zaks2011-11-011-2/+0
* Rename Expr::Evaluate to Expr::EvaluateAsRValue to make it clear that it willRichard Smith2011-10-291-2/+2
OpenPOWER on IntegriCloud