summaryrefslogtreecommitdiff
path: root/test/Analysis/exploded-graph-rewriter/environment_diff.dot
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Assign truly stable identifiers to exploded nodes.Artem Dergachev2019-10-171-15/+27
* [analyzer] exploded-graph-rewriter: Improve source location dumps.Artem Dergachev2019-07-121-3/+3
* [analyzer] exploded-graph-rewriter: Implement bug nodes and sink nodes.Artem Dergachev2019-07-031-0/+6
* [analyzer] exploded-graph-rewriter: Implement checker messages.Artem Dergachev2019-07-031-0/+3
* [analyzer] exploded-graph-rewriter: Add support for objects under construction.Artem Dergachev2019-07-021-0/+3
* [analyzer] exploded-graph-rewriter: Add support for dynamic types.Artem Dergachev2019-07-011-0/+3
* [analyzer] print() JSONify: Create pointersCsaba Dabis2019-06-251-45/+54
* [analyzer] exploded-graph-rewriter: Add support for range constraints.Artem Dergachev2019-06-251-0/+3
* [analyzer] exploded-graph-rewriter: Implement a --diff mode.Artem Dergachev2019-06-191-0/+110