As we know, the bugs that hurt are usually in the ones we didn’t think about, the ones that are hidden on the edge of a range, in nested JSON files, in regular expressions that take four seconds to execute a single match… Those… Ume helps you search for those inputs. You describe how toContinue reading “Ume: Property Testing and Performance Fuzzing”
Author Archives: federicojavierlochbaum
Mate in 10 Minutes: Fuzzing Object Graphs
Common fuzzers generate bytes, strings, or structured grammar-based inputs. Pharo programs, however, work with objects: a BlElement with children that point back to their parent, a Player whose level must stay between 0 and 99, a model where some fields may be nil and others never are. Mate is a small language and toolkit forContinue reading “Mate in 10 Minutes: Fuzzing Object Graphs”
Shin: Shrinking inputs in Pharo
You found an input that breaks your program, for example, a 3 KB JSON document, or a 200-character regex, or an SVG path that makes the renderer hang. Before you can debug it, you want the smallest input that still shows the problem, right? That is what Shin does. You give it an input andContinue reading “Shin: Shrinking inputs in Pharo”