aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/GRExprEngine.cpp
AgeCommit message (Expand)Author
2008-10-04This is a big patch, but the functionality change is small and the rest of th...Ted Kremenek
2008-10-01Add a QualType to ConjuredSymbol to represent the type and size of the symbol.Ted Kremenek
2008-09-30Revert last patch, but add a fixmeTed Kremenek
2008-09-30Within the transfer function of UnaryOperatorExpr, handle implicit promotionsTed Kremenek
2008-09-20Add PostStore, a new ProgramPoint to distinguish between 'stores' and other P...Ted Kremenek
2008-09-19Bug fix: for the base transfer function logic for casts, handle const casts a...Ted Kremenek
2008-09-19Add panic function "__assert_fail".Ted Kremenek
2008-09-18Implement second part of PR 2600: NSError** parameter may be null, and should...Ted Kremenek
2008-09-16ProgramPoint now takes the space of two pointers instead of one. This change wasTed Kremenek
2008-09-13Patch by Csaba Hruska!Ted Kremenek
2008-08-28Remove BasicStore.h (migrated function prototype for CreateBasicStore() to St...Ted Kremenek
2008-08-28Make store "Regions" and "Bindings" more abstract instead of concrete variants.Ted Kremenek
2008-08-28Fixed analyzer caching bug involving the transfer function for loads.Ted Kremenek
2008-08-28Fixed analyzer caching bug in DeclStmt.Ted Kremenek
2008-08-27Refactor Assume logic into a separate class ConstraintManager.Zhongxing Xu
2008-08-25Added 'extents' for Regions.Ted Kremenek
2008-08-21Move the handling of DeclStmt from GRExprEngine to BasicStoreManager.Zhongxing Xu
2008-08-19Patch by Zhongxing Xu!Ted Kremenek
2008-08-18Add ExplicitCastExpr to replace the current CastExpr, and have ImplicitCastEx...Argyrios Kyrtzidis
2008-08-16GRState:Ted Kremenek
2008-08-14Default initialize only pointers and integer types (for now).Ted Kremenek
2008-08-13Renamed GRState::CheckerStatePrinter to GRState::Printer.Ted Kremenek
2008-08-13Rename ValueState -> GRState.Ted Kremenek
2008-08-13Initialize tracked local variables to undefined.Ted Kremenek
2008-07-22Added path-sensitive checking for null pointer values passed to function argu...Ted Kremenek
2008-07-18Add panic function.Ted Kremenek
2008-07-18Created ValueStateSet class to manage the creation of multiple states by a me...Ted Kremenek
2008-07-17Move GRTransferFunc* into ValueStateManager, and move the assumption logic th...Ted Kremenek
2008-07-17Remove redundant logic.Ted Kremenek
2008-07-17Begin major changes to EvalXXX methods in GRTransferFuncs. Currently some of...Ted Kremenek
2008-07-11Refactored auditor interface within GRExprEngine and GRCoreEngine to use a "b...Ted Kremenek
2008-07-10Refactored most of the "Store" piece of ValueState into a Store type. TheTed Kremenek
2008-07-09Remove getParentMap() from GRExprEngine.Ted Kremenek
2008-07-02Refactored some of the BugReporter interface so that data such as the ASTCont...Ted Kremenek
2008-07-02GRExprEngine now expects the LiveVariables information to be provided by its ...Ted Kremenek
2008-06-20Modified the dead stores checker to...Ted Kremenek
2008-06-19Introduce initial transfer function support for __imag__ and __real__. We don'tTed Kremenek
2008-06-18Added a new ProgramPoint: PostPurgeDeadSymbols. This new program point disti...Ted Kremenek
2008-06-17Change self/_cmd to be instances of ImplicitParamDecl instead of ParmVarDecl.Chris Lattner
2008-05-21Fixed bug in the transfer function for dereferences: the loaded value from Ev...Ted Kremenek
2008-05-17Micro-optimization when checking for panic functions.Ted Kremenek
2008-05-17Fix 80 col violation.Ted Kremenek
2008-05-17Added panic function _XCAssertionFailureHandler.Ted Kremenek
2008-05-09Rename IsPointerType to LVal::IsLValType, and update CFRefCount::EvalSummary ...Ted Kremenek
2008-05-02Really noreturn on exceptions.Ted Kremenek
2008-05-01Added temporary fix for Obj-C exception handling in the static analyzer: trea...Ted Kremenek
2008-05-01Added __assert_rtn to list of panic functions.Ted Kremenek
2008-05-01Added ziperr as a panic function. Eventually inter-procedural analysisTed Kremenek
2008-04-30Add placeholder code in the static analyzer for MemberExprs involving struct ...Ted Kremenek
2008-04-30Add workaround for __builtin_offsetof in the static analyzer.Ted Kremenek
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-08-04 09:48:48 +0000