 Bill Wendling
|
0680f97fc4
Create ConstantExpr class
|
há 6 anos atrás |
 George Karpenkov
|
391667a023
[analyzer] Rename trackNullOrUndefValue to trackExpressionValue
|
há 6 anos atrás |
 Mikhail R. Gadelha
|
06d4690804
[analyzer] Improvements to the SMT API
|
há 6 anos atrás |
|
George Karpenkov
|
b0be6606a0
[analyzer] [NFC] Remove unused parameters, as found by -Wunused-parameter
|
há 6 anos atrás |
|
George Karpenkov
|
4b70c6059f
[analyzer] [NFC] Heavy refactoring of trackNullOrUndefValue
|
há 7 anos atrás |
|
George Karpenkov
|
b358e2f24a
[analyzer] Prevent crashes in FindLastStoreBRVisitor
|
há 7 anos atrás |
|
Mikhail R. Gadelha
|
60783c8623
[analyzer] Moved all CSA code from the SMT API to a new header, `SMTConv.h`. NFC.
|
há 7 anos atrás |
|
George Karpenkov
|
a7bd158152
[analyzer] Track non-zero values in ReturnVisitor
|
há 7 anos atrás |
|
George Karpenkov
|
b5bc540693
[analyzer] [NFC] Minor refactoring of BugReporterVisitors
|
há 7 anos atrás |
|
George Karpenkov
|
ffc857a528
[analyzer] Fix tracking expressions through negation operator
|
há 7 anos atrás |
 Stephen Kelly
|
2dfd8132cf
Port getLocEnd -> getEndLoc
|
há 7 anos atrás |
|
Stephen Kelly
|
d7b659b592
Port getLocStart -> getBeginLoc
|
há 7 anos atrás |
|
George Karpenkov
|
b319a856c2
[analyzer] Do not crash in NoStoreFuncVisitor notes if an unexpected region is found.
|
há 7 anos atrás |
 Fangrui Song
|
1d631d4f58
[analyzer] Make RegionVector use const reference
|
há 7 anos atrás |
|
George Karpenkov
|
d247691d08
[analyzer] Extend NoStoreFuncVisitor to follow fields.
|
há 7 anos atrás |
|
George Karpenkov
|
359b2bfbb5
[analyzer] [NFC] Simplify some visitors by giving a convenient getter from state to analysis manager
|
há 7 anos atrás |
|
George Karpenkov
|
ab6efb3942
[analyzer] Extend NoStoreFuncVisitor to insert a note on IVars
|
há 7 anos atrás |
|
Mikhail R. Gadelha
|
7179078a7a
[analyzer] Removed API used by the Refutation Manager from SMTConstraintManager and replace by proper calls to SMTSolver
|
há 7 anos atrás |
|
George Karpenkov
|
f70ff96a80
Revert "[analyzer] Extend NoStoreFuncVisitor to insert a note on IVars"
|
há 7 anos atrás |
|
George Karpenkov
|
77284fe5d8
[analyzer] Extend NoStoreFuncVisitor to insert a note on IVars
|
há 7 anos atrás |
|
George Karpenkov
|
627e5ecaad
[analyzer] Bugfix for an overly eager suppression for null pointer return from macros.
|
há 7 anos atrás |
|
Mikhail R. Gadelha
|
bcf5ad3f2f
[analyzer] Replace the vector of ConstraintSets by a single ConstraintSet and a function to merge ConstraintSets
|
há 7 anos atrás |
|
George Karpenkov
|
3387634751
[analyzer] [NFC] A convenient getter for getting a current stack frame
|
há 7 anos atrás |
|
George Karpenkov
|
b4bc5a9541
[analyzer] Minor cleanups for BugReporter, expose a getter for AnalyzerOptions.
|
há 7 anos atrás |
|
George Karpenkov
|
d245644c76
[analyzer] Do not run visitors until the fixpoint, run only once.
|
há 7 anos atrás |
 Artem Dergachev
|
707983ea1f
[analyzer] Track null and undef values through expressions with cleanups.
|
há 7 anos atrás |
|
Bill Wendling
|
05aca69b30
Remove extraneous semicolon.
|
há 7 anos atrás |
|
George Karpenkov
|
b28c0c543c
[analyzer] Do not crash in the visitor when the function is given more arguments than it has parameters
|
há 7 anos atrás |
|
George Karpenkov
|
f564a73a09
[analyzer] [NFC] Remove "removeInvalidation" from visitor API
|
há 7 anos atrás |
|
George Karpenkov
|
adbb1b6dd3
[analyzer] [NFC] Remove most usages of getEndPath
|
há 7 anos atrás |
