aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/GRExprEngine.cpp
AgeCommit message (Expand)Author
2009-04-09Fix a null pointer dereference error due to state caching in a loop involvingTed Kremenek
2009-04-09Create a symbolic region instead of a loc::SymbolVal. This is a continued stepZhongxing Xu
2009-04-09GRExprEngine: Don't try to reason about the size of 'void' for the return typeTed Kremenek
2009-04-09Fix another regression introduced by changes to the analyzer's reasoning aboutTed Kremenek
2009-04-09Refactor/cleanup reasoning of nil receivers in message expressions.Ted Kremenek
2009-04-08Enhance analyzer reasoning about sending messages to nil. A nil receiver ret...Ted Kremenek
2009-04-08New static analyzer check by Nikita Zhuk!Ted Kremenek
2009-04-03This is the first step to gradually remove the use of loc::SymbolVal. NowZhongxing Xu
2009-04-01Fix: <rdar://problem/6740387>. Sending nil to an object that returns a structTed Kremenek
2009-03-30Add version of GRExprEngine::AddCheck that registered a GRSimpleAPICheck thatTed Kremenek
2009-03-30Implement a FIXME.Zhongxing Xu
2009-03-28rename some methods.Chris Lattner
2009-03-28Change compound assignment operators to keep track of both the promoted Eli Friedman
2009-03-26analyzer infrastructure: make a bunch of changes to symbolic expressions thatTed Kremenek
2009-03-20GRExprEngine:Ted Kremenek
2009-03-18Fix PR 3836 by eagerly assuming symbolic constraints returned by unary '!'.Ted Kremenek
2009-03-13Add a hack in the analyzer to recover some path-sensitivity at branchTed Kremenek
2009-03-11GRExprEngine::ProcessBranch: Don't register a "pretty-stack printer" when the...Ted Kremenek
2009-03-11GRExprEngine: Add pretty-stack trace printing for crashes and assertion failu...Ted Kremenek
2009-03-11GRExprEngine: For places we might conjure up a new symbol to recoverTed Kremenek
2009-03-11Use the BugReports in BugReporter to determine the root nodes for "trim-egraph".Ted Kremenek
2009-03-09Remove some dead spacing. No functionality change.Ted Kremenek
2009-03-05Fix another GRExprEngine::VisitCast regression: handle casts of void* to func...Ted Kremenek
2009-03-05Fix regression in GRExprEngine::VisitCast: Do not wrap symbolic function poin...Ted Kremenek
2009-03-05Add 'cast<>' to remove an extra function call and dynamic cast.Ted Kremenek
2009-03-05More fixes in cast logic.Ted Kremenek
2009-03-05GRExprEngine: Polish up handling of casting integer constants to pointers and...Ted Kremenek
2009-03-05Fix regression in transparent translation of nonloc::ConcreteInto to loc::Con...Ted Kremenek
2009-03-04GRExprEngine::VisitCast: Just pass through function and block pointers.Ted Kremenek
2009-03-04Create "TypedViewRegions" that layer on top of SymbolicRegions when handlingTed Kremenek
2009-02-28Revert 65707 (causes stack memory to be referenced after it is released).Ted Kremenek
2009-02-28remove static ctor.Chris Lattner
2009-02-28improve compatibility with the VC++'08 C++ compiler. Patch byChris Lattner
2009-02-26Create a new TypeNodes.def file that enumerates all of the types,Douglas Gregor
2009-02-25Fix subtle bug in EvalEagerlyAssume: Check if the previous node was at the sa...Ted Kremenek
2009-02-25Add experimental logic in GRExprEngine::EvalEagerlyAssume() to handleTed Kremenek
2009-02-24Fix <rdar://problem/6611677>: Add basic transfer function support in the staticTed Kremenek
2009-02-19Implemented simple check in <rdar://problem/6600344>: When the receiver of aTed Kremenek
2009-02-17Add panic function.Ted Kremenek
2009-02-17Add '_assert' to list of known panic functions.Ted Kremenek
2009-02-14Add hook to add attributes to function declarations that we knowDouglas Gregor
2009-02-14GRExprEngine: Handle empty statement expressions.Ted Kremenek
2009-02-14Use GRTransferFuncs::EvalBind when processing variable initializations.Ted Kremenek
2009-02-14Static analyzer:Ted Kremenek
2009-02-13Implicitly declare certain C library functions (malloc, strcpy, memmove,Douglas Gregor
2009-02-13GRExprEngine:Ted Kremenek
2009-02-07GRExprEngine: When processing compound assignments, do a switch table lookup ...Ted Kremenek
2009-02-04Overhaul BugReporter interface and implementation. The new interface cleans upTed Kremenek
2009-02-04Remove dead code.Zhongxing Xu
2009-02-04make SM::getColumnNumber take a predecomposed FileID/offset, whichChris Lattner
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-08-05 08:21:14 +0000