summaryrefslogtreecommitdiff
path: root/test/Analysis/exploded-graph-rewriter/store_diff.dot
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Assign truly stable identifiers to exploded nodes.Artem Dergachev2019-10-171-11/+26
* [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/+2
* [analyzer] exploded-graph-rewriter: Add support for objects under construction.Artem Dergachev2019-07-021-0/+2
* [analyzer] exploded-graph-rewriter: Add support for dynamic types.Artem Dergachev2019-07-011-0/+2
* [analyzer] print() JSONify: Create pointersCsaba Dabis2019-06-251-26/+32
* [analyzer] exploded-graph-rewriter: Add support for range constraints.Artem Dergachev2019-06-251-0/+2
* [analyzer] exploded-graph-rewriter: Implement a --diff mode.Artem Dergachev2019-06-191-0/+82