[analyzer] exploded-graph-rewriter: Initial commit.
authorArtem Dergachev <artem.dergachev@gmail.com>
Sun, 2 Jun 2019 21:40:53 +0000 (21:40 +0000)
committerArtem Dergachev <artem.dergachev@gmail.com>
Sun, 2 Jun 2019 21:40:53 +0000 (21:40 +0000)
commit162360774ed9c1922820d2afa2d6cd39983e90d5
tree311a825e21cb2705d17e87b6af29e46c37f9b802
parentfde26d222da4dcd947d0dea4baeade8fb69ae1a7
[analyzer] exploded-graph-rewriter: Initial commit.

This is a utility to improve readability and generally manipulate
GraphViz dumps of the analysis graph. Such dumps are often huge and
not only hard to read, but also often hang the viewer apps with their
mere size. Such script should significantly improve debugging experience.

Differential Revision: https://reviews.llvm.org/D62638

llvm-svn: 362340
clang/test/Analysis/exploded-graph-rewriter/edge.dot [new file with mode: 0644]
clang/test/Analysis/exploded-graph-rewriter/empty.dot [new file with mode: 0644]
clang/test/Analysis/exploded-graph-rewriter/environment.dot [new file with mode: 0644]
clang/test/Analysis/exploded-graph-rewriter/lit.local.cfg [new file with mode: 0644]
clang/test/Analysis/exploded-graph-rewriter/program_points.dot [new file with mode: 0644]
clang/test/Analysis/exploded-graph-rewriter/store.dot [new file with mode: 0644]
clang/utils/analyzer/exploded-graph-rewriter.py [new file with mode: 0755]