tigersforhire

2 ms·

1. 1.▲
   by tigersforhire 5y ago

   I think one reason is that it actually entails a pretty big lift from LLVMs side since it would introduce a new invariant that needs to be upheld by optimization passes and code generators. I’ve heard rumours that Google have done some work
2. 2.▲
   Finding unhandled errors using CodeQL(blog.trailofbits.com)

   1 points by tigersforhire 5y ago|0 comments