Displaying 1 result from an estimated 1 matches for "5777d7ed".
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