Displaying 2 results from an estimated 2 matches for "d50488".
2018 Aug 09
2
Writing static analyzers to detect non-deterministic behavior?
...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 compile-time.
With that in mind, I have pushed a patch which I adds a new category of
checks for non-determinism: https://reviews.llvm.org/D50488.
The first checker which I have pushed here will simply check if raw
pointers are being sorted. In subsequent patches, I will fine tune this
by handling more complex cases of sorting of pointer-like keys.
I have another patch which checks for iteration of unordered containers
but that may be v...
2018 Aug 09
3
Writing static analyzers to detect non-deterministic behavior?
...ic behaviors) so that they could be applied more
> widely.
> I also realize that not all of these may be doable at compile-time.
>
> With that in mind, I have pushed a patch which I adds a new
> category of
> checks for non-determinism: https://reviews.llvm.org/D50488.
>
> The first checker which I have pushed here will simply check if raw
> pointers are being sorted. In subsequent patches, I will fine tune
> this
> by handling more complex cases of sorting of pointer-like keys.
>
> I have another patch which checks for i...