search for: 9a58f496

Displaying 2 results from an estimated 2 matches for "9a58f496".

2018 Aug 09
2
Writing static analyzers to detect non-deterministic behavior?
In the past, I had added the ability in LLVM to uncover 2 types of non-deterministic behaviors: iteration of unordered containers with pointer-like keys and sorting of elements with the same keys. Now, I wanted to add checkers for these (and other types of non-deterministic behaviors) so that they could be applied more widely. I also realize that not all of these may be doable at
2018 Aug 09
3
Writing static analyzers to detect non-deterministic behavior?
...list > llvm-dev at lists.llvm.org <mailto:llvm-dev at lists.llvm.org> > http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev > -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20180809/9a58f496/attachment.html>