 Artem Dergachev
|
d0e3ed0b01
[analyzer] Assign truly stable identifiers to exploded nodes.
|
5 سال پیش |
|
Artem Dergachev
|
e03d00f8b5
[analyzer] NFC: Move getStmt() and createEndOfPath() out of PathDiagnostic.
|
6 سال پیش |
 Kristof Umann
|
39b5f65011
[analyzer][CFG] Don't track the condition of asserts
|
6 سال پیش |
|
Kristof Umann
|
fedc6539be
[analyzer][NFC] Refactoring BugReporter.cpp P4.: If it can be const, make it const
|
6 سال پیش |
 Chandler Carruth
|
324f918438
Update the file headers across all of the LLVM projects in the monorepo
|
6 سال پیش |
|
Artem Dergachev
|
a55b8668b2
[AST] [analyzer] NFC: Reuse code in stable ID dumping methods.
|
6 سال پیش |
 George Karpenkov
|
74495412f2
[analyzer] Fix a bug in "collapsed" graph viewer
|
6 سال پیش |
|
George Karpenkov
|
3f0bc9eab1
[analyzer] Skip printing trivial nodes in exploded graph
|
7 سال پیش |
|
George Karpenkov
|
960d25b4d9
[analyzer] Dump stable identifiers for exploded nodes
|
7 سال پیش |
|
George Karpenkov
|
4d1df0a4ae
[analyzer] Remove traces of ubigraph visualization
|
7 سال پیش |
 Eugene Zelenko
|
3f227f45a8
[StaticAnalyzer] Fix some Clang-tidy modernize and Include What You Use warnings; other minor fixes (NFC).
|
7 سال پیش |
 Mehdi Amini
|
2e23251d3e
[NFC] Header cleanup
|
9 سال پیش |
 Ben Craig
|
75760690cf
[Analyzer] Don't cache report generation ExplodedNodes
|
9 سال پیش |
 Angel Garcia Gomez
|
d162035b9b
Roll-back r250822.
|
9 سال پیش |
|
Angel Garcia Gomez
|
e83bf34da9
Apply modernize-use-default to clang.
|
9 سال پیش |
 Ted Kremenek
|
99bb39afb4
[analyzer] Apply whitespace cleanups by Honggyu Kim.
|
10 سال پیش |
 Benjamin Kramer
|
86f8bacaeb
Reduce double set lookups. NFC.
|
11 سال پیش |
 David Blaikie
|
71c982873a
unique_ptrify ExplodedGraph::trim
|
11 سال پیش |
 Craig Topper
|
1843a2095a
[C++11] Use 'nullptr'. StaticAnalyzer edition.
|
11 سال پیش |
 Anton Yartsev
|
efeac4d14e
[analyzer] Fix for PR18394.
|
11 سال پیش |
 Robert Wilhelm
|
344472ebed
Use pop_back_val() instead of both back() and pop_back().
|
12 سال پیش |
 Anna Zaks
|
3655119ab1
[analyzer] Cleanup: only get the PostStmt when we need the underlying Stmt + comment
|
12 سال پیش |
 Jordan Rose
|
0f3a34fb7f
Revert "[analyzer] Break cycles (optionally) when trimming an ExplodedGraph."
|
12 سال پیش |
|
Jordan Rose
|
f4cf6b10f8
[analyzer] Break cycles (optionally) when trimming an ExplodedGraph.
|
12 سال پیش |
|
Jordan Rose
|
c996313273
[analyzer] Eliminate InterExplodedGraphMap class and NodeBackMap typedef.
|
12 سال پیش |
|
Ted Kremenek
|
b7a3f74bbb
[analyzer] Add stop-gap patch to prevent assertion failure when analyzing LLVM codebase.
|
12 سال پیش |
|
Ted Kremenek
|
6f8e9b6cae
[analyzer] Recover all PreStmtPurgeDeadSymbols nodes with a single successor or predecessor.
|
12 سال پیش |
|
Ted Kremenek
|
4e9c085438
[analyzer] add the notion of an "interesting" lvalue expression for ExplodedNode pruning.
|
12 سال پیش |
|
Ted Kremenek
|
43b82b823a
[analyzer] tracking stores/constraints now works for ObjC ivars or struct fields.
|
12 سال پیش |
|
David Blaikie
|
7a95de68c0
Replace ProgramPoint llvm::cast support to be well-defined.
|
12 سال پیش |
