https://miscreants.github.io/blog.trailofbits.com/authors/nat-chin/Recent content in Nat Chin on The Trail of Bits BlogHugoen-usTue, 30 Apr 2024 09:30:43 -0400https://miscreants.github.io/blog.trailofbits.com/2024/04/30/curvance-invariants-unleashed/Tue, 30 Apr 2024 09:30:43 -0400https://miscreants.github.io/blog.trailofbits.com/2024/04/30/curvance-invariants-unleashed/Welcome to our deep dive into the world of invariant development with Curvance. We’ve been building invariants as part of regular code review assessments for more than 6 years now, but our work with Curvance marks our very first official invariant development project, in which developing and testing invariants is all we […]