- 98cabba [analyzer] Refactoring: include/clang/Checker -> include/clang/GR by Argyrios Kyrtzidis · 14 years ago
- 9f71a8f PR5207: Change APInt methods trunc(), sext(), zext(), sextOrTrunc() and by Jay Foad · 14 years ago
- 28f47b9 Rename all 'AssumeXXX' methods in libChecker to 'assumeXXX'. by Ted Kremenek · 14 years ago
- 846eabd Rename 'SValuator' to 'SValBuilder'. The new name by Ted Kremenek · 14 years ago
- 2de56d1 GCC didn't care for my attempt at API compatibility, so brute-force everything by John McCall · 14 years ago
- e701117 - Allow making ElementRegions with complex offsets (expressions or symbols) for the purpose of bounds-checking. by Jordy Rose · 14 years ago
- 5ca129c Implicitly compare symbolic expressions to zero when they're being used as constraints. Part of PR7491. by Jordy Rose · 14 years ago
- b4954a4 When folding additive operations, convert the values to the same type. When assuming relationships, convert the integers to the same type as the symbol, at least for now. by Jordy Rose · 14 years ago
- ba0f61c Fold additive constants, and support comparsions of the form $sym+const1 <> const2 by Jordy Rose · 14 years ago
- 1309f9a Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 15 years ago[Renamed (97%) from lib/Analysis/SimpleConstraintManager.cpp]
- 32a5808 Remove references to 'Checker' and 'GRTransferFuncs' from by Ted Kremenek · 15 years ago
- b94b81a Let constraint manager inform checkers that some assumption logic has happend. by Zhongxing Xu · 15 years ago
- 8041747 Fix <rdar://problem/7249327> by allowing silent conversions between signed and unsigned integer values for symbolic values. This is an intermediate solution (i.e. hack) until we support extension/truncation of symbolic integers. by Ted Kremenek · 15 years ago
- 5b9bd21 Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way by Ted Kremenek · 15 years ago
- 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 15 years ago
- f1b8227 Remove GRStateManager& field from SimpleConstraintManager. by Ted Kremenek · 15 years ago
- a591bc0 libAnalysis: by Ted Kremenek · 15 years ago
- 5cbe5f9 Remove loc::FuncVal. by Zhongxing Xu · 16 years ago
- 3330dcb Finally nuke loc::SymbolVal. by Zhongxing Xu · 16 years ago
- e0e4ebf analyzer infrastructure: make a bunch of changes to symbolic expressions that by Ted Kremenek · 16 years ago
- a129eb9 This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, for by Zhongxing Xu · 16 years ago
- 68ac94a analyzer: Provide temporary workaround for false positive reported by by Ted Kremenek · 16 years ago
- 7de20fe SimpleConstraintManager doesn't reason about bitwise-constraints on symbolic by Ted Kremenek · 16 years ago
- 66b5271 Added method "canReasonAbout" to ConstraintManager. This method returns true if by Ted Kremenek · 16 years ago
- 4502195 Patch by Ben Laurie: by Ted Kremenek · 16 years ago