projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 47dbacb) | patch
[analyzer] Add more information to the Exploded Graph
authorisuckatcs <65320245+isuckatcs@users.noreply.github.com>
Thu, 4 Aug 2022 17:49:05 +0000 (19:49 +0200)
committerisuckatcs <65320245+isuckatcs@users.noreply.github.com>
Fri, 2 Sep 2022 22:21:05 +0000 (00:21 +0200)
commitb5147937b2a9ffdc12110a5df5ba4d482f83d2a8
tree3e01a0cf34c33ca221e0995e1bbfe4b805354063tree | snapshot
parent47dbacbc8ae2c13f970096814de8f677d80859afcommit | diff
[analyzer] Add more information to the Exploded Graph

This patch dumps every state trait in the egraph. Also
the empty state traits are no longer dumped, instead
they are treated as null by the egraph rewriter script,
which solves reverse compatibility issues.

Differential Revision: https://reviews.llvm.org/D131187
13 files changed:
clang/lib/StaticAnalyzer/Core/ExprEngine.cpp diff | blob | history
clang/test/Analysis/exploded-graph-rewriter/checker_messages.dot diff | blob | history
clang/test/Analysis/exploded-graph-rewriter/checker_messages_diff.dot diff | blob | history
clang/test/Analysis/exploded-graph-rewriter/constraints.dot diff | blob | history
clang/test/Analysis/exploded-graph-rewriter/constraints_diff.dot diff | blob | history
clang/test/Analysis/exploded-graph-rewriter/environment.dot diff | blob | history
clang/test/Analysis/exploded-graph-rewriter/environment_diff.dot diff | blob | history
clang/test/Analysis/exploded-graph-rewriter/program_state_traits.dot [new file with mode: 0644] blob
clang/test/Analysis/exploded-graph-rewriter/store.dot diff | blob | history
clang/test/Analysis/exploded-graph-rewriter/store_diff.dot diff | blob | history
clang/test/Analysis/exploded-graph-rewriter/topology.dot diff | blob | history
clang/test/Analysis/expr-inspection.c diff | blob | history
clang/utils/analyzer/exploded-graph-rewriter.py diff | blob | history
Domain: System / Toolchain;