 Artem Dergachev
|
0eaef4712d
[analyzer] Introduce a simplified API for adding custom path notes.
|
6 anos atrás |
 Benjamin Kramer
|
0f3d45f893
Make helper functions static. NFC.
|
6 anos atrás |
 Mikhail R. Gadelha
|
698feb0c19
Moved everything SMT-related to LLVM and updated the cmake scripts.
|
6 anos atrás |
 Csaba Dabis
|
1f558de1b9
[analyzer] ConditionBRVisitor: Unknown condition evaluation support
|
6 anos atrás |
|
Csaba Dabis
|
797cb7e866
[analyzer] ConditionBRVisitor: Remove GDM checking
|
6 anos atrás |
|
Csaba Dabis
|
ab24926ff7
Revert "[analyzer] ConditionBRVisitor: Remove GDM checking"
|
6 anos atrás |
|
Csaba Dabis
|
61c69cbbca
Revert "[analyzer] ConditionBRVisitor: Unknown condition evaluation support"
|
6 anos atrás |
|
Csaba Dabis
|
1d92e20334
[analyzer] ConditionBRVisitor: Unknown condition evaluation support
|
6 anos atrás |
|
Csaba Dabis
|
ef1d401f90
[analyzer] ConditionBRVisitor: Remove GDM checking
|
6 anos atrás |
 Adam Balogh
|
1691f6b3c2
[Analyzer] Crash fix for FindLastStoreBRVisitor
|
6 anos atrás |
|
Mikhail R. Gadelha
|
7b7f1a3de9
This reverts commit 1440a848a635849b97f7a5cfa0ecc40d37451f5b.
|
6 anos atrás |
|
Mikhail R. Gadelha
|
1684ef0300
Move the SMT API to LLVM
|
6 anos atrás |
 Chandler Carruth
|
324f918438
Update the file headers across all of the LLVM projects in the monorepo
|
6 anos atrás |
 George Karpenkov
|
31a8e3fd05
Revert "Fix failing MSan bots"
|
6 anos atrás |
 Vlad Tsyrklevich
|
0a455fbe13
Fix failing MSan bots
|
6 anos atrás |
|
George Karpenkov
|
1055c85097
[analyzer] Extend the PathDiagnosticLocation constructor to handle CallExitEnd
|
6 anos atrás |
 Kristof Umann
|
d1b208c30b
[analyzer] Evaluate all non-checker config options before analysis
|
6 anos atrás |
 Bill Wendling
|
0680f97fc4
Create ConstantExpr class
|
6 anos atrás |
|
George Karpenkov
|
391667a023
[analyzer] Rename trackNullOrUndefValue to trackExpressionValue
|
6 anos atrás |
|
Mikhail R. Gadelha
|
06d4690804
[analyzer] Improvements to the SMT API
|
6 anos atrás |
|
George Karpenkov
|
b0be6606a0
[analyzer] [NFC] Remove unused parameters, as found by -Wunused-parameter
|
6 anos atrás |
|
George Karpenkov
|
4b70c6059f
[analyzer] [NFC] Heavy refactoring of trackNullOrUndefValue
|
7 anos atrás |
|
George Karpenkov
|
b358e2f24a
[analyzer] Prevent crashes in FindLastStoreBRVisitor
|
7 anos atrás |
|
Mikhail R. Gadelha
|
60783c8623
[analyzer] Moved all CSA code from the SMT API to a new header, `SMTConv.h`. NFC.
|
7 anos atrás |
|
George Karpenkov
|
a7bd158152
[analyzer] Track non-zero values in ReturnVisitor
|
7 anos atrás |
|
George Karpenkov
|
b5bc540693
[analyzer] [NFC] Minor refactoring of BugReporterVisitors
|
7 anos atrás |
|
George Karpenkov
|
ffc857a528
[analyzer] Fix tracking expressions through negation operator
|
7 anos atrás |
 Stephen Kelly
|
2dfd8132cf
Port getLocEnd -> getEndLoc
|
7 anos atrás |
|
Stephen Kelly
|
d7b659b592
Port getLocStart -> getBeginLoc
|
7 anos atrás |
|
George Karpenkov
|
b319a856c2
[analyzer] Do not crash in NoStoreFuncVisitor notes if an unexpected region is found.
|
7 anos atrás |
