peteroh

3 ms·

1. 1.▲
   by peteroh 4y ago

   1. This "unsoundness" was the subject of extensive (endless) discussions on the Infer team (as you can imagine). This spurred some theory and there are some precise theorems associated with how parts of Infer work. E.g., racerd ha
2. 2.▲
   by peteroh 4y ago

   Great to see this discussion here. Concerning "pretty much guaranteed to be incorrect" ... as it happens, SL (and infer) can be used to prove this too :) though that is more recent. https://dl.acm.org/doi/pdf&
3. 3.▲
   Scaling Static Analysis at Facebook(cacm.acm.org)

   7 points by peteroh 7y ago|0 comments
4. 4.▲
   Facebook Testing and Verification Research Awards(research.fb.com)

   2 points by peteroh 8y ago|0 comments