Showing stories from 2024-06. View all
Fuzz Map is a fuzzer for GUIs that automatically identifies states using code coverage and builds a visual map. Ideally, the map is useful even to people who'd prefer not to read code.
[slides](https://docs.google.com/presentation/d/15--B_I64Or54mXcakEpT8KkpAGfYl-kLh-Qvqt31GKI/edit?usp=sharing)
[implementation](https://github.com/qbolec/PHP-Framework/tree/master/php/framework/relations/managers)
[original thread](https://groups.google.com/g/memcached/c/OiScvRbGaU8/m/C1vny7DiGakJ...
Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back (2022)
(dl.acm.org)
Abstract:
> Reasoning about the use of external resources is an important aspect of many practical applications. Effect systems enable tracking such information in types, but at the cost of complicating signatures of common functions. Capabilities coupled with escape analysis offer safety and nat...