<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Kevin Valerio on The Trail of Bits Blog</title><link>https://miscreants.github.io/blog.trailofbits.com/authors/kevin-valerio/</link><description>Recent content in Kevin Valerio on The Trail of Bits Blog</description><generator>Hugo</generator><language>en-us</language><lastBuildDate>Wed, 31 Dec 2025 00:00:00 -0500</lastBuildDate><atom:link href="https://miscreants.github.io/blog.trailofbits.com/authors/kevin-valerio/index.xml" rel="self" type="application/rss+xml"/><item><title>Detect Go’s silent arithmetic bugs with go-panikint</title><link>https://miscreants.github.io/blog.trailofbits.com/2025/12/31/detect-gos-silent-arithmetic-bugs-with-go-panikint/</link><pubDate>Wed, 31 Dec 2025 07:00:00 -0500</pubDate><guid>https://miscreants.github.io/blog.trailofbits.com/2025/12/31/detect-gos-silent-arithmetic-bugs-with-go-panikint/</guid><description>We’re releasing go-panikint, a modified Go compiler that turns silent integer overflows into explicit panics. We used it to find a live integer overflow in the Cosmos SDK’s RPC pagination logic, showing how this approach eliminates a major blind spot for anyone fuzzing Go projects.</description></item></channel></rss>