article thumbnail

Analyzing MATIO And stb_vorbis Libraries With Mayhem

ForAllSecure

In this post, we will examine how we analyzed two open source libraries using Mayhem in a specific workflow that we’ve found to be particularly effective for finding bugs. stb is a suite of single-file C libraries in the public domain, containing utility functions useful to developers working on computer graphics applications or games.

article thumbnail

Analyzing MATIO And stb_vorbis Libraries With Mayhem

ForAllSecure

In this post, we will examine how we analyzed two open source libraries using Mayhem in a specific workflow that we’ve found to be particularly effective for finding bugs. stb is a suite of single-file C libraries in the public domain, containing utility functions useful to developers working on computer graphics applications or games.

article thumbnail

ANALYZING MATIO AND STB_VORBIS LIBRARIES WITH MAYHEM

ForAllSecure

In this post, we will examine how we analyzed two open source libraries using Mayhem in a specific workflow that we’ve found to be particularly effective for finding bugs. stb is a suite of single-file C libraries in the public domain, containing utility functions useful to developers working on computer graphics applications or games.