summaryrefslogtreecommitdiff
path: root/test/Analysis/exploded-graph-rewriter/constraints_diff.dot
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Assign truly stable identifiers to exploded nodes.Artem Dergachev2019-10-171-15/+27
* [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-1/+4
* [analyzer] exploded-graph-rewriter: Add support for objects under construction.Artem Dergachev2019-07-021-1/+4
* [analyzer] exploded-graph-rewriter: Add support for dynamic types.Artem Dergachev2019-07-011-1/+4
* [analyzer] exploded-graph-rewriter: Add support for range constraints.Artem Dergachev2019-06-251-0/+65