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>