Age | Commit message (Expand) | Author |
2008-07-10 | Remove unused class AnnotatedPath. | Ted Kremenek |
2008-07-10 | Move some environment methods from ValueState/ValueStateManager to Environmen... | Ted Kremenek |
2008-07-09 | Remove getParentMap() from GRExprEngine. | Ted Kremenek |
2008-07-08 | Initial work on splitting the ValueState into an Environment, Store, and | Ted Kremenek |
2008-07-03 | For the -dealloc checker, check the LangOptions to determine whether or not t... | Ted Kremenek |
2008-07-03 | Have BugReporter::getCFG and BugReporter::getLiveVariables returns pointers i... | Ted Kremenek |
2008-07-03 | Added static analysis check to see if a subclass of NSObject implements -deal... | Ted Kremenek |
2008-07-02 | Unify the code path for the Dead Stores checker to always use the BugReporter... | Ted Kremenek |
2008-07-02 | Refactored some of the BugReporter interface so that data such as the ASTCont... | Ted Kremenek |
2008-07-02 | GRExprEngine now expects the LiveVariables information to be provided by its ... | Ted Kremenek |
2008-07-02 | Added version of CheckDeadStores that accepts a client-provided LiveVariables... | Ted Kremenek |
2008-06-20 | Modified the dead stores checker to... | Ted Kremenek |
2008-06-18 | Added a new ProgramPoint: PostPurgeDeadSymbols. This new program point disti... | Ted Kremenek |
2008-06-17 | Change self/_cmd to be instances of ImplicitParamDecl instead of ParmVarDecl. | Chris Lattner |
2008-06-07 | Mark the right ctor explicit, patch by Cédric Venet | Chris Lattner |
2008-05-29 | - Move ObjC Expresssion AST's from Expr.h => ExprObjC.h | Steve Naroff |
2008-05-23 | Unbreak build. Forget to check in this header file change with a previous co... | Ted Kremenek |
2008-05-16 | Partitioned BugTypeCachedLocation::isCached() into two methods: one that acce... | Ted Kremenek |
2008-05-09 | Rename IsPointerType to LVal::IsLValType, and update CFRefCount::EvalSummary ... | Ted Kremenek |
2008-05-06 | Added "DisplayHint" to PathDiagnosticPiece to provide a hint for the | Ted Kremenek |
2008-05-06 | Fixed subtle bug in the an GRAuditor object could mark a node as a sink | Ted Kremenek |
2008-05-02 | Rename member variable. | Ted Kremenek |
2008-05-02 | When running the reference count checker twice (GC and non-GC mode), only emit | Ted Kremenek |
2008-05-01 | Added line number diagnostics to indicate the allocation site of the leaked o... | Ted Kremenek |
2008-05-01 | Do not highlight bogus ranges for leaks. | Ted Kremenek |
2008-05-01 | Added temporary fix for Obj-C exception handling in the static analyzer: trea... | Ted Kremenek |
2008-05-01 | When processing "release", "retain", and "autorelease" messages return the | Ted Kremenek |
2008-04-30 | added preliminary diagnostics in scan-build results to denote whether | Ted Kremenek |
2008-04-30 | Teach more of the static analyzer about ObjCQualifiedIdType. | Ted Kremenek |
2008-04-29 | Add lval::ArrayOffset, which represent the locations of entries in an array. | Ted Kremenek |
2008-04-29 | Added lval::FieldOffset, which represents symbolic lvalues for field offsets ... | Ted Kremenek |
2008-04-29 | Major rewrite/refactoring of static analysis engine. We now use | Ted Kremenek |
2008-04-29 | Provide the option to run the CF-retain checker in GC enabled mode. | Ted Kremenek |
2008-04-26 | Make assertions for all addresses passed to ProgramPoint that they have at le... | Argyrios Kyrtzidis |
2008-04-25 | Do a better job at computing dead symbols. | Ted Kremenek |
2008-04-24 | More boilerplate for handling specialized-transfer function logic for dead sy... | Ted Kremenek |
2008-04-24 | Added initial boilerplate in GRExprEngine to allow checker-specific transfer | Ted Kremenek |
2008-04-23 | When building PathDiagnostics for bug reports, generate a trimmed ExplodedGra... | Ted Kremenek |
2008-04-23 | Fixed: <rdar://problem/5881148> | Ted Kremenek |
2008-04-22 | Rewrote VisitDeclStmt to properly handle initializers that can do anything. | Ted Kremenek |
2008-04-22 | Added lval type (and tracking) for StringLiterals. | Ted Kremenek |
2008-04-22 | Added "nonlval::LValAsInteger" to represent abstract LVals casted to integers... | Ted Kremenek |
2008-04-22 | PathDiagnosticClients now retain ownership of passed PathDiagnostics, requiring | Ted Kremenek |
2008-04-22 | Add VisitArraySubscriptExpr. | Ted Kremenek |
2008-04-21 | Added support for detected bad dereferences involving MemberExprs, e.g. x->f ... | Ted Kremenek |
2008-04-18 | Generalize caching mechanism for bugs reports. Now individual BugTypes | Ted Kremenek |
2008-04-18 | Fixed more caching bugs related to the one fixed in r49914. Silence | Ted Kremenek |
2008-04-18 | Fixed elusive caching bug that led to false positives. | Ted Kremenek |
2008-04-18 | Added "GetErrorNodes()" to BugType so that -trim-egraph can recognize errors | Ted Kremenek |
2008-04-18 | Added "EvalAssume" virtual method to GRTransferFuncs; this is for evaluating | Ted Kremenek |