- Mar 14, 2008
-
-
Ted Kremenek authored
a block of "code". Patched various ASTConsumers (such as ASTDumper) to have more support for processing ObjCMethodDecl. CFGVisitor now builds CFGs for ObjCMethodDecls. llvm-svn: 48363
-
- Mar 12, 2008
-
-
Ted Kremenek authored
Changed CallRetValSymbol to SymbolConjured to allow "conjured" symbols to be created for any expression, not just CallExprs. Added experimental support for conjuring symbols during assingments where the RHS is "unknown". This allows more value tracking for path-sensitivity. Fixed bug in "assumption" logic when processing symbolic constraints; we would improperly mark constraints we didn't support as infeasible. llvm-svn: 48306
-
Ted Kremenek authored
no summaries (useful for false-path pruning). llvm-svn: 48301
-
Ted Kremenek authored
llvm-svn: 48272
-
- Mar 11, 2008
-
-
Ted Kremenek authored
llvm-svn: 48242
-
Ted Kremenek authored
llvm-svn: 48234
-
Ted Kremenek authored
llvm-svn: 48231
-
Ted Kremenek authored
llvm-svn: 48214
-
- Mar 07, 2008
-
-
Ted Kremenek authored
llvm-svn: 48025
-
- Mar 06, 2008
-
-
Gabor Greif authored
llvm-svn: 47995
-
Ted Kremenek authored
llvm-svn: 47982
-