aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core
AgeCommit message (Expand)Author
2011-12-07[analyzer] Cleanup: use the variable.Anna Zaks
2011-12-07[analyzer] Propagate taint through MemRegions.Anna Zaks
2011-12-06[analyzer] Add comments related to symbol_iteratorAnna Zaks
2011-12-06[analyzer] Refactor: Move symbol_iterator from SVal to SymExpr, use itAnna Zaks
2011-12-06[analyzer] Propagate taint through NonLoc to NonLoc casts.Anna Zaks
2011-12-05[analyzer] Mark ConstraintManager::canReasonAbout as protected.Anna Zaks
2011-12-05[analyzer] Simplify the condition.Anna Zaks
2011-12-05[analyzer] Unify SymbolVal and SymExprVal under a single SymbolValAnna Zaks
2011-12-05[analyzer] Remove all uses of ConstraintManager::canResonAbout() fromAnna Zaks
2011-12-05[analyzer] First step toward removingAnna Zaks
2011-12-05[analyzer] Minor improvements on RangeConstraint pretty-printing.Anna Zaks
2011-12-05[analyzer] Add ability to do a simple ProgramState dump() withoutAnna Zaks
2011-12-01[analyzer] Refactor checkers to use helper function for getting callee Decl a...Anna Zaks
2011-12-01When analyzing a C++ method (without a specific caller), assume 'this' is non...Ted Kremenek
2011-11-29Relax RegionStore to allow loads from CodeTextRegions. Apparently you can ac...Ted Kremenek
2011-11-28[analyzer] Minor cleanup of SValBuilder: Comments + code reuse.Anna Zaks
2011-11-18[analyzer] Warn when non pointer arguments are passed to scanf (only when run...Anna Zaks
2011-11-17[analyzer] Do not conjure a symbol when we need to propagate taint.Anna Zaks
2011-11-17[analyzer] Minor tweaks to the ProgramState::isTainted().Anna Zaks
2011-11-17[analyzer] Add a helper method.Anna Zaks
2011-11-17[analysis] Constify CheckerContext.Anna Zaks
2011-11-17[analyzer] Put CheckerConext::getCalleeName out of line.Anna Zaks
2011-11-16Fixed crash with initializer lists and unnamed bitfields in the RegionStoreJim Goodnow II
2011-11-16[analyzer] Adding basic building blocks for taint propagation.Anna Zaks
2011-11-16[analyzer] Cleanup: Null->0, comments.Anna Zaks
2011-11-14[analyzer;Regionstore] handle loads from StringLiteral elements for StringLit...Ted Kremenek
2011-11-11[static analyzer] be more specific when running removeDeadBindings. Instead ...Ted Kremenek
2011-11-10[static analyzer]: only call RemoveDeadBindings() when analyzing non-Expr stm...Ted Kremenek
2011-11-07Rip out CK_GetObjCProperty.John McCall
2011-11-06Change the AST representation of operations on Objective-CJohn McCall
2011-11-04Remove unused variables.Benjamin Kramer
2011-11-02Fix various minor issues find via unreachable code warnings, fromDouglas Gregor
2011-11-02Remove virtually empty file.Benjamin Kramer
2011-11-01[analyzer] Make sink attribute part of the node profile.Anna Zaks
2011-11-01[analyzer] Fix PR11282 - an assert in markAsSinkAnna Zaks
2011-11-01[analyzer] Make sure the child builder use temporary destination setsAnna Zaks
2011-11-01[analyzer] BranchNodeBuilder should not generate autotransitions.Anna Zaks
2011-11-01[analyzer] Remove the CheckerContext's destructor.Anna Zaks
2011-10-29Rename Expr::Evaluate to Expr::EvaluateAsRValue to make it clear that it willRichard Smith
2011-10-27[analyzer] Move enqueueEndOfFunction into CoreEngine.Anna Zaks
2011-10-27[analyzer] Make CoreEngine responsible for enqueueing Stmt Nodes.Anna Zaks
2011-10-26[analyzer] GenericNodeBuilder -> NodeBuilder.Anna Zaks
2011-10-25[analyzer] Simplify CheckerContextAnna Zaks
2011-10-25[analyzer] Remove unused headers.Anna Zaks
2011-10-25[analyzer] Make branch for condition callback use CheckerContextAnna Zaks
2011-10-25[analyze] Convert EndOfPath callback to use CheckerContextAnna Zaks
2011-10-25Implement support for dependent Microsoft __if_exists/__if_not_existsDouglas Gregor
2011-10-24[analyzer] Node builders cleanup + commentsAnna Zaks
2011-10-24[analyzer] Remove the old StmtNodeBuilder.Anna Zaks
2011-10-24[analyzer] Completely remove the global Builder object.Anna Zaks
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-08-09 04:30:42 +0000