Updated README

README.md

@@ -83,6 +83,21 @@ containers and sorting algorithms:
 
 [2] https://llvm.org/docs/CodingStandards.html#beware-of-non-deterministic-sorting-order-of-equal-elements
 
+## NEXT STEPS
+The next logical step would be to apply the ideas presented here in a more
+wider context to help find non-determinism in user code. With that in mind, I
+have started writing a Clang Static Analyzer checker to detect instances of
+non-determinism caused by sorting pointer-like keys.
+
+The beauty of the analyzer checks is that they run at compile time and hence
+are cheap to test. The drawback is that there may be some false positives which
+need to be pruned with better heuristics.  Here is the RFC and the patch (WIP)
+for this:
+
+[1] http://lists.llvm.org/pipermail/llvm-dev/2018-August/125191.html
+
+[2] https://reviews.llvm.org/D50488
+
 ## REFERENCES
 My work has featured several times in the LLVM weekly newsletters and other
 places: