- 426a16d [analyzer] Minor cleanup of SValBuilder: Comments + code reuse. by Anna Zaks · 13 years ago
- 8f4caf5 [analyzer] Warn when non pointer arguments are passed to scanf (only when running taint checker). by Anna Zaks · 13 years ago
- 0d339d0 [analyzer] Do not conjure a symbol when we need to propagate taint. by Anna Zaks · 13 years ago
- ee081c4 [analyzer] Minor tweaks to the ProgramState::isTainted(). by Anna Zaks · 13 years ago
- 64595fa [analyzer] Add a helper method. by Anna Zaks · 13 years ago
- eeea7c4 [analysis] Constify CheckerContext. by Anna Zaks · 13 years ago
- 8687397 [analyzer] Put CheckerConext::getCalleeName out of line. by Anna Zaks · 13 years ago
- e42a0ab Fixed crash with initializer lists and unnamed bitfields in the RegionStore by Jim Goodnow II · 13 years ago
- 3d5f24a Update CMake build. by Benjamin Kramer · 13 years ago
- 9b0970f [analyzer] Catch the first taint propagation implied buffer overflow. by Anna Zaks · 13 years ago
- df18c5a [analyzer] Adding generic taint checker. by Anna Zaks · 13 years ago
- ceac1d6 [analyzer] Adding basic building blocks for taint propagation. by Anna Zaks · 13 years ago
- 57e156a [analyzer] Cleanup: Null->0, comments. by Anna Zaks · 13 years ago
- 0e12ebf [analyzer] Factor getCalleeName to the checker context. by Anna Zaks · 13 years ago
- 4c42bb7 [static analyzer] Tweak RetainCountChecker's diagnostics to correctly indicate if a message was due to a property access. This can by Ted Kremenek · 13 years ago
- 729aa06 [analyzer;Regionstore] handle loads from StringLiteral elements for StringLiterals representing wide strings. Fixes PR 11294. by Ted Kremenek · 13 years ago
- 9e9a3e6 [static analyzer] be more specific when running removeDeadBindings. Instead of seeing if the predecessor node was a non-StmtPoint, check if it is specifically a BlockEntrance node. by Ted Kremenek · 13 years ago
- ce117a7 [static analyzer]: only call RemoveDeadBindings() when analyzing non-Expr stmts, entering a basic block, or analyzing non-consumed expressions. This sigificantly speeds up analysis time, and reduces analysis time down to 27% less than before we linearized the CFG. by Ted Kremenek · 13 years ago
- 180f479 Constant expression evaluation: support for evaluation of structs and unions of by Richard Smith · 13 years ago
- 8d0ffc7 [analyzer] Remove redundant check from DivZeroChecker by Anna Zaks · 13 years ago
- 7864435 Rip out CK_GetObjCProperty. by John McCall · 13 years ago
- 4b9c2d2 Change the AST representation of operations on Objective-C by John McCall · 13 years ago
- de2a6a8 [analyzer] There should be a space between "expect" and "only" by Anna Zaks · 13 years ago
- 92d3dda Remove unused variables. by Benjamin Kramer · 13 years ago
- 21a2516 Fix various minor issues find via unreachable code warnings, from Ahmed Charles! by Douglas Gregor · 13 years ago
- 2eba859 Remove virtually empty file. by Benjamin Kramer · 13 years ago
- 6800ba6 [analyzer] Make sink attribute part of the node profile. by Anna Zaks · 13 years ago
- 2d950b1 [analyzer] Fix PR11282 - an assert in markAsSink by Anna Zaks · 13 years ago
- 6889679 [analyzer] Make sure the child builder use temporary destination sets by Anna Zaks · 13 years ago
- cdcc653 [analyzer] BranchNodeBuilder should not generate autotransitions. by Anna Zaks · 13 years ago
- a2a8603 [analyzer] CheckerContext::getPredecessor() cleanup by Anna Zaks · 13 years ago
- 6706e97 [analyzer] Remove the CheckerContext's destructor. by Anna Zaks · 13 years ago
- 51f4708 Rename Expr::Evaluate to Expr::EvaluateAsRValue to make it clear that it will by Richard Smith · 13 years ago
- 4a037c7 [analyzer] ObjC message sends to nil receivers that return structs are now okay (compiler zeroes out the data). Fixes <rdar://problem/9151319>. by Ted Kremenek · 13 years ago
- 4d2ae4a [analyzer] Move enqueueEndOfFunction into CoreEngine. by Anna Zaks · 13 years ago
- dd7ddf2 [analyzer] Make CoreEngine responsible for enqueueing Stmt Nodes. by Anna Zaks · 13 years ago
- 39ac187 [analyzer] Add getLocationContext to CheckerContext by Anna Zaks · 13 years ago
- 48468df [analyzer] Remove EmitBasicReport form CheckerContext. by Anna Zaks · 13 years ago
- 0bd6b11 [analyzer] Rename generateNode -> addTransition in CheckerContext by Anna Zaks · 13 years ago
- c03a39e [analyzer] GenericNodeBuilder -> NodeBuilder. by Anna Zaks · 13 years ago
- 6a93bd5 [analyzer] Remove getEngine() form CheckerContext by Anna Zaks · 13 years ago
- 063e088 [analyzer] Simplify CheckerContext by Anna Zaks · 13 years ago
- 2e9264a [analyzer] Remove unused headers. by Anna Zaks · 13 years ago
- f236b65 [analyzer] Make branch for condition callback use CheckerContext by Anna Zaks · 13 years ago
- af498a2 [analyze] Convert EndOfPath callback to use CheckerContext by Anna Zaks · 13 years ago
- ba0513d Implement support for dependent Microsoft __if_exists/__if_not_exists by Douglas Gregor · 13 years ago
- 58f6f1e Add source-level dominators analysis. Patch by Guoping Long! by Ted Kremenek · 13 years ago
- aa0aeb1 [analyzer] Node builders cleanup + comments by Anna Zaks · 13 years ago
- cca79db [analyzer] Remove the old StmtNodeBuilder. by Anna Zaks · 13 years ago
- 056c4b4 [analyzer] Completely remove the global Builder object. by Anna Zaks · 13 years ago
- f185cc1 [analyzer] Remove more dependencies from global Builder by Anna Zaks · 13 years ago
- ebae6d0 [analyzer] Convert ExprEngine::visit() to use short lived builders. by Anna Zaks · 13 years ago
- d231d01 [analyzer] Convert VisitDeclStmt to use local node builder. by Anna Zaks · 13 years ago
- 6b6152b [analyzer] Convert more functions (ex:evalBind()) to iterative builders by Anna Zaks · 13 years ago
- 8ad8c54 [analyzer] Convert VisitUnaryOperator to use short lived Node builders by Anna Zaks · 13 years ago
- 8ff5c41 [analyzer] Use a temporary builder in CheckerContext. by Anna Zaks · 13 years ago
- 1aae01a [analyzer] Pass external Dst set to NodeBuilder by Anna Zaks · 13 years ago
- 1d26f48 Rename AnalysisContext to AnalysisDeclContext. Not only is this name more accurate, but it frees up the name AnalysisContext for other uses. by Ted Kremenek · 13 years ago
- b1b5daf [analyzer] Remove LocationContext creation methods from AnalysisManager, and change clients to use AnalysisContext instead. by Ted Kremenek · 13 years ago
- c9003c8 [analyzer] Move predecessor into the NodeBuilder context. by Anna Zaks · 13 years ago
- 4e82d3c [analyzer] Make NodeBuilder and Pred node loosely coupled by Anna Zaks · 13 years ago
- 3152b3c [analyzer] Remove StmtNodeBuilder from CheckerContext by Anna Zaks · 13 years ago
- 319a918 [analyzer] Subclassing StmtBuilder from the NodeBuilder by Anna Zaks · 13 years ago
- 67d9fba [analyzer] Remove dead code. ExprEngineBuilders is not used. by Anna Zaks · 13 years ago
- cd656ca [analyzer] Modularize builder use in processBranch. by Anna Zaks · 13 years ago
- ad62dee [analyzer] Pull Pred out of NodeBuilderContext. by Anna Zaks · 13 years ago
- a19f4af [analyzer] NodeBuilder Refactoring: Subclass BranchNodeBuilder from NodeBuilder. by Anna Zaks · 13 years ago
- f05aac8 [analyzer] Node Builder refactoring: Introduce a simple Node Builder responsible for generating the node frontier. by Anna Zaks · 13 years ago
- 85df96c Refactor static analyzer to use simpler interface to constant expression evaluation. by Richard Smith · 13 years ago
- b8989f2 Change operator<< for raw_ostream and NamedDecl to take a reference instead of a pointer. by Benjamin Kramer · 13 years ago
- 71fdf46 [analyzer] Remove an unused member variable. by Anna Zaks · 13 years ago
- b1576f7 [analyzer] CheckerContext updates checkDst in it's destructor, so make sure the object is destructed before checkDst is used. by Anna Zaks · 13 years ago
- c800f68 [analyzer] Fix a typo. by Anna Zaks · 13 years ago
- a7957ff [analyzer] Warn about the use of insecure, deprecated vfork() function PR11053 (http://llvm.org/bugs/show_bug.cgi?id=11053). by Anna Zaks · 13 years ago
- 276b061 Initial implementation of __atomic_* (everything except __atomic_is_lock_free). by Eli Friedman · 13 years ago
- 46eaf77 [analyzer] Teach the static analyzer about CXXForRangeStmt. Patch by Jim Goodnow II! by Ted Kremenek · 13 years ago
- a6b8b2c Constant expression evaluation refactoring: by Richard Smith · 13 years ago
- 744f1cd Provide basic static analyzer support for CXXTemporaryObjectExpr. Patch by Jim Goodnow II. by Ted Kremenek · 13 years ago
- a5937bb Remove AnalysisContext::getLiveVariables(), and introduce a templatized mechanism to lazily create analyses that are attached to AnalysisContext objects. by Ted Kremenek · 13 years ago
- 3f5e8d8 [analyzer] Previously, we were passing to CheckerContext enough info to construct ProgramPoint and it would pass it to NodeBuilder, which in turn would construct the ProgramPoint. Simplify it by just passing the ProgramPoint to CheckerContext. The ProgramPoint can only change if a checker tags it, in which case, we create a copy with the given tag. by Anna Zaks · 13 years ago
- 63d3201 ProgramPoint cleanup after the previous commit r141408 (remove the copy constructor, mark withTag const). by Anna Zaks · 13 years ago
- 5e1cdac Rename TagDecl::isDefinition -> isCompleteDefinition by John McCall · 13 years ago
- c808503 [static analyzer] Fix crash in LiveVariables and Environment::getSVal() when analyzing C++ pointer-to-member calls. Fixes <rdar://problem/10243398>. by Ted Kremenek · 13 years ago
- 6ee5b93 Clang-side build system infrastructure for multiple tblgens. by Peter Collingbourne · 13 years ago
- 390909c [analyzer] Remove the dependency on CheckerContext::getStmt() as well as the method itself. by Anna Zaks · 13 years ago
- 93edbc5 Fix major regression in RetainCountChecker. DefaultSummaries were not being used when they were meant to be. Fixes <rdar://problem/10241614>. by Ted Kremenek · 13 years ago
- 4eff823 [analyzer] Remove the last dependency on CheckerContext::getNodeBuilder() as well as the method itself. by Anna Zaks · 13 years ago
- dff6ef9 [analyzer] OSAtomicChecker implements evalCall in a very invasive way - it essentially simulates inlining of compareAndSwap() by means of setting the NodeBuilder flags and calling ExprEngine directly. by Anna Zaks · 13 years ago
- cbb7add [analyzer] Removing more references to CheckerContext::getNodeBuilder(): ask CheckerContext to generate the nodes. by Anna Zaks · 13 years ago
- 5d0ea6d [analyzer] Removing references to CheckerContext::getNodeBuilder(): checkers can obtain block count directly from the Context. by Anna Zaks · 13 years ago
- 8ba7214 [analyzer] Remove unused methods, add comments to others. by Anna Zaks · 13 years ago
- 3381a73 [analyzer] Remove redundant state (AnalysisContext pointer for every BinaryOperator tracked) from IdempotentOperationChecker. by Anna Zaks · 13 years ago
- 1e9775d [analyzer] In UndefBranchChecker, use a node generator which does not create an edge/branching. (ExprEngine should be in charge of generating edges. The checkers should examine the condition and generate PostCondition node if needed.) by Anna Zaks · 13 years ago
- 9c81bc2 [analyzer] Cleanup in UndefBranchChecker: by Anna Zaks · 13 years ago
- 491306a Allow getting all source locations of selector identifiers in a ObjCMethodDecl. by Argyrios Kyrtzidis · 13 years ago
- 6a835dd Fix LiveVariables analysis bug with MaterializeTemporaryExpr and fix handling in ExprEngine. Fixes <rdar://problem/10201666>. by Ted Kremenek · 13 years ago
- b459cf3 Address PR10616. The crash has already been fixed by Ted in r140725, so just refactor to use existing API + test case. by Anna Zaks · 13 years ago
- 7df2ff4 Tweak the interface for analyzing the CF conventions for a name by John McCall · 13 years ago
- e4c6675 Fix crash when analyzing C++ code involving constant enums and switch statements (<rdar://problem/10202899>). by Ted Kremenek · 13 years ago
- 0658879 [analyzer] Fix a bug in RetainReleaseChecker diagnostics. It gives more precise error message on the modified test case (and prevents duplicate diagnostics when we purge at block granularity). by Anna Zaks · 13 years ago