InVeridisebyVeridiseA Gentle Introduction to Program VerificationIn the previous blog posts, we introduced static program analysis and discussed how it can identify security vulnerabilities in smart…Jun 28, 2022Jun 28, 2022
InVeridisebyVeridiseDetecting Smart Contract Vulnerabilities with Static AnalysisIn the previous blog posts, we looked at how static analysis works at a high level. In this blog post, we look into three examples of…Jun 13, 2022Jun 13, 2022
InVeridisebyVeridiseHow does Static Analysis Work?In the previous blog post, we talked about what the basic idea behind static analysis is and how it can help uncover security…May 4, 2022May 4, 2022
InVeridisebyVeridiseWhat is Program Analysis?If you are interested in blockchain technology, you’ve likely heard of many incidents in which large amounts of funds were stolen due to an…Apr 30, 2022Apr 30, 2022
