vrnithinkumar

7 ms·

1. 1.▲
   Finding null smart pointer dereference with LLVM-Clang Static Analyzer(vrnithinkumar.github.io)

   2 points by vrnithinkumar 6y ago|0 comments
2. 2.▲
   by vrnithinkumar 7y ago

   Use of Formal Methods at Amazon Web Services https://lamport.azurewebsites.net/tla/formal-methods-amazon....