| | | | Path | Packages |
---|

| M | | | clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h | |

| M | | | clang/lib/StaticAnalyzer/Core/BugReporter.cpp | |

| M | | | clang/lib/StaticAnalyzer/Core/ExplodedGraph.cpp | |

| M | | | clang/lib/StaticAnalyzer/Core/ExprEngine.cpp | |

| M | | | clang/test/Analysis/dump_egraph.c | |

| M | | | clang/test/Analysis/exploded-graph-rewriter/checker_messages.dot | |

| M | | | clang/test/Analysis/exploded-graph-rewriter/checker_messages_diff.dot | |

| M | | | clang/test/Analysis/exploded-graph-rewriter/constraints.dot | |

| M | | | clang/test/Analysis/exploded-graph-rewriter/constraints_diff.dot | |

| M | | | clang/test/Analysis/exploded-graph-rewriter/edge.dot | |

| M | | | clang/test/Analysis/exploded-graph-rewriter/environment.dot | |

| M | | | clang/test/Analysis/exploded-graph-rewriter/environment_diff.dot | |

| M | | | clang/test/Analysis/exploded-graph-rewriter/node_labels.dot | |

| M | | | clang/test/Analysis/exploded-graph-rewriter/program_points.dot | |

| M | | | clang/test/Analysis/exploded-graph-rewriter/store.dot | |

| M | | | clang/test/Analysis/exploded-graph-rewriter/store_diff.dot | |

| M | | | clang/test/Analysis/exploded-graph-rewriter/topology.dot | |

| M | | | clang/test/Analysis/exploded-graph-rewriter/trimmers.dot | |

| M | | | clang/utils/analyzer/exploded-graph-rewriter.py | |