Home

Latest posts

Ume: Property Testing and Performance Fuzzing

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 to…

federicojavierlochbaum's avatar by 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 for…

federicojavierlochbaum's avatar by federicojavierlochbaum

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 and…

federicojavierlochbaum's avatar by federicojavierlochbaum

Something went wrong. Please refresh the page and/or try again.

ast breakpoints class-model code completion compiler continuous integration data structures Dead image debugging deployment fuzzing gcc generators GUI heuristics IDE Live programming machine learning Meta-circular environment morphic names native code nlp object-centric optimizations oswindow pharo pharoFeatures prototyping reflection reflectivity sentiment classification Spec spotter testing tf-idf thisContext tools trie ubiquitous-language UI undefined behavior Virtual Machine Virtual Machine Tooling VM level