summaryrefslogtreecommitdiffstats
path: root/include
Commit message (Expand)AuthorAgeFilesLines
* Changed CallRetValSymbol to SymbolConjured to allow "conjured" symbols to be ...Ted Kremenek2008-03-121-12/+12
* Fixed regression in SymbolManager introduced in r48272.Ted Kremenek2008-03-121-12/+11
* Prototype (pre-alpha) implementation of CFRef checker.Ted Kremenek2008-03-125-78/+172
* Expanded graph-visualization to include optional pretty-printing of checker-s...Ted Kremenek2008-03-111-3/+5
* Expanded ValueState pretty-printing to use an optional "CheckerStatePrinter"Ted Kremenek2008-03-112-15/+27
* Expanded graph visualization interface to include specifying a range ofTed Kremenek2008-03-111-0/+2
* Added main skeleton for CFRetain transfer function logic.Ted Kremenek2008-03-111-0/+3
* Add some missing #includes for GCC mainline, patch by Shantonu Sen!Chris Lattner2008-03-101-1/+1
* Add transfer function support for pointer arithmetic where theTed Kremenek2008-03-101-1/+11
* implement simple support for arbitrary token lookahead. Change the Chris Lattner2008-03-103-9/+53
* More edge-case handling with using liveness information to prune dead state v...Ted Kremenek2008-03-101-3/+21
* More cleanups with using the liveness analysis to removed dead symbols andTed Kremenek2008-03-101-19/+19
* When processing the transfer function for a statement, evaluateTed Kremenek2008-03-091-2/+6
* Refactored guards for "GRExprEngine::RemoveDeadBindings" directly into theTed Kremenek2008-03-091-5/+3
* Bug fix: Don't call RemoveDeadBindings more than once (can kill newly generat...Ted Kremenek2008-03-092-11/+3
* rename HandleEndOfMacro -> HandleEndOfTokenLexerChris Lattner2008-03-091-4/+3
* split the MacroArgs class out of TokenLexer.cpp/h intoChris Lattner2008-03-091-78/+2
* rename some MacroExpander-related ivars to TokenLexer.Chris Lattner2008-03-091-12/+12
* Rename MacroExpander.cpp/h -> TokenLexer.cpp/hChris Lattner2008-03-092-2/+3
* rename the MacroExpander class to TokenLexer. It handles bothChris Lattner2008-03-092-22/+22
* rename MacroTokens -> Tokens. When this is a token stream, there is no macroChris Lattner2008-03-091-11/+13
* add some comments.Chris Lattner2008-03-081-6/+7
* make float format handling more regular.Chris Lattner2008-03-081-10/+10
* simplify all the type info accessors in TargeTInfo to return scalars,Chris Lattner2008-03-081-84/+50
* Fix a fixme by allowing pointers in different address spaces to haveChris Lattner2008-03-081-22/+10
* eliminate the TargetInfoImpl stuff, simplifying the target implementations.Chris Lattner2008-03-081-96/+42
* eliminate ComputeWCharInfo.Chris Lattner2008-03-081-10/+2
* Added --trim-path-graph to the driver to trim paths from the ExplodedGraphTed Kremenek2008-03-073-9/+39
* Renamed ValueManager to BasicValueFactory.Ted Kremenek2008-03-075-42/+43
* Add fastcall/stdcall attribute supportNate Begeman2008-03-072-1/+25
* Refined divide-by-zero checking to distinguish between must and mayTed Kremenek2008-03-071-7/+31
* Patch by Nuno Lopes:Ted Kremenek2008-03-071-0/+4
* fix typosGabor Greif2008-03-066-6/+6
* Added boilerplate to execute the CF reference count checker (which isn't yet ...Ted Kremenek2008-03-061-1/+3
* Added "CheckerState" field to ValueState.Ted Kremenek2008-03-051-2/+6
* Small bug fix when handling CallExprs that generate sink nodes.Ted Kremenek2008-03-051-6/+9
* Fixed bug that could case unwanted bifurcation of states when evaluating calls.Ted Kremenek2008-03-052-2/+10
* Fixed a horribly insidious bit-masking bug in the implementation ofTed Kremenek2008-03-051-1/+1
* remove the source location arguments to various target query methods.Chris Lattner2008-03-055-45/+41
* Reverted patch 47926 for ProgramPoint.h because it is currently buggy. May a...Ted Kremenek2008-03-052-40/+5
* Remove the first layer of support for "portability" warnings. This is Chris Lattner2008-03-056-105/+11
* Added support for ProgramPoints to represent ExplodedNodes in anotherTed Kremenek2008-03-051-4/+38
* Plug-in transfer function "EvalCall" now takes as an argument the currentTed Kremenek2008-03-054-8/+12
* Cleaned up typedefs involving StateTy so that we always use "StateTy*" instea...Ted Kremenek2008-03-054-51/+33
* Make GRStmtNodeBuilder only depend on StateTy, and not the type definitionTed Kremenek2008-03-043-21/+7
* Moved implementation of GRExprEngine::Nodify into GRStmtNodeBuilder. This willTed Kremenek2008-03-042-2/+20
* Moved GRExprEngine::NodeSet out of GRExprEngine and made it a standalone clas...Ted Kremenek2008-03-042-25/+34
* Fixed another obscure node-caching bug.Ted Kremenek2008-03-042-5/+14
* Implemented "print" method for ValueState.Ted Kremenek2008-03-041-2/+5
* TargetInfo objects now own the TargetInfoImpl objects they refer to.Ted Kremenek2008-03-041-8/+7
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-15 13:24:38 +0000