 Richard Smith
|
96881be75c
[c++20] P0515R3: Parsing support and basic AST construction for operator <=>.
|
7 years ago |
 George Karpenkov
|
b873ee35bb
[analyzer] [NFC] remove duplicated function
|
7 years ago |
|
George Karpenkov
|
f7de82cd93
[analyzer] assume bitwise arithmetic axioms
|
7 years ago |
 Dominic Chen
|
31b3c535d9
[analyzer] Refactor and simplify SimpleConstraintManager
|
8 years ago |
|
Dominic Chen
|
9175ccbdf2
[analyzer] Run clang-format and fix style
|
8 years ago |
|
Dominic Chen
|
400a9bf83c
[analyzer] Minor optimization: avoid setting state if unchanged
|
8 years ago |
 Mehdi Amini
|
2e23251d3e
[NFC] Header cleanup
|
9 years ago |
 Pierre Gousseau
|
8b94c483f9
[analyzer] Fix RangeConstraintManager's pinning of single value ranges.
|
9 years ago |
 Devin Coughlin
|
8ef8ffcccf
[analyzer] Create one state for a range switch case instead of multiple.
|
10 years ago |
 Ted Kremenek
|
99bb39afb4
[analyzer] Apply whitespace cleanups by Honggyu Kim.
|
10 years ago |
 David Blaikie
|
bb458b61c5
unique_ptrify the result of ConstraintManagerCreator and StoreManagerCreator
|
11 years ago |
 Craig Topper
|
1843a2095a
[C++11] Use 'nullptr'. StaticAnalyzer edition.
|
11 years ago |
|
Craig Topper
|
83daac80e9
[C++11] Add 'override' keyword to virtual methods that override their base class.
|
11 years ago |
 Jordan Rose
|
4708b3dde8
[analyzer] Teach constraint managers about unsigned comparisons.
|
12 years ago |
|
Jordan Rose
|
78114a58f8
[analyzer] Translate "a != b" to "(b - a) != 0" in the constraint manager.
|
12 years ago |
 Chandler Carruth
|
55fc873017
Sort all of Clang's files under 'lib', and fix up the broken headers
|
12 years ago |
|
Jordan Rose
|
40d8551890
[analyzer] Move convenience REGISTER_*_WITH_PROGRAMSTATE to CheckerContext.h
|
12 years ago |
|
Jordan Rose
|
166d502d53
[analyzer] Use nice macros for the common ProgramStateTraits (map, set, list).
|
12 years ago |
|
Jordan Rose
|
c45bb4dcb6
[analyzer] Let ConstraintManager subclasses provide a more efficient checkNull.
|
12 years ago |
|
Jordan Rose
|
ca5d78d0bc
[analyzer] Make ProgramStateManager's SubEngine parameter optional.
|
13 years ago |
|
Ted Kremenek
|
b35007cc4d
Revert "Use sep instead of ' '."
|
13 years ago |
|
Ted Kremenek
|
fb9a0ede96
Use sep instead of ' '.
|
13 years ago |
|
Ted Kremenek
|
732cdf383f
Remove unnecessary ASTContext& parameter from SymExpr::getType().
|
13 years ago |
|
Ted Kremenek
|
ace64b5f6a
Remove ConstraintManager:isEqual(). It is no longer used.
|
13 years ago |
|
Ted Kremenek
|
efb3d56720
Despite me asking Jordan to do r162313, revert it. We can provide
|
13 years ago |
|
Jordan Rose
|
58fc86d68d
[analyzer] Push "references are non-null" knowledge up to the common parent.
|
13 years ago |
|
Jordan Rose
|
a34d4f4732
[analyzer] Assume that reference symbols are non-null.
|
13 years ago |
 Jordy Rose
|
1d8db493f8
[analyzer] Rework both constraint managers to handle mixed-type comparisons.
|
13 years ago |
|
Ted Kremenek
|
8bef823818
Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.
|
13 years ago |
 Anna Zaks
|
1a00eef3b0
[analyzer] Minor improvements on RangeConstraint pretty-printing.
|
13 years ago |
