Skip to main content

Hierarchical Delta Debugging Framework

https://badge.fury.io/py/picireny.svg https://travis-ci.org/renatahodovan/picireny.svg?branch=master

Picireny is a Python 3 implementation of the Hierarchical Delta Debugging (HDD in short) algorithm adapted to use ANTLR v4 for parsing both the input and the grammar(s) describing the format of the input. It relies on picire to provide the implementation of the core Delta Debugging algorithm along with various tweaks like parallelization. Just like the picire framework, picireny can also be used either as a command line tool or as a library.

Both Hierarchical Delta Debugging and Delta Debugging automatically reduce “interesting” tests while keeping their “interesting” behaviour. (E.g., “interestingness” may mean failure-inducing input to a system-under-test.) However, HDD is an improvement that tries to investigate less test cases during the reduction process by making use of knowledge on the structure of the input.

The tool (and the algorithm) works iteratively in several ways. As a first step, it splits up the input into tokens and organizes them in a tree structure as defined by a grammar. Then, iteratively, it invokes Delta Debugging on each level of the tree from top to bottom, and DD is an iterative process itself, too. Finally, the nodes kept in the tree are “unparsed” to yield a reduced but still “interesting” output.

Requirements

  • Python >= 3.4

  • pip and setuptools Python packages (the latter is automatically installed by pip).

  • ANTLR v4

  • Java SE >= 7 JRE or JDK (the latter is optional, only needed if Java is used as the parser language)

Install

The quick way:

pip install picireny

Alternatively, by cloning the project and running setuptools:

python setup.py install

Once the project is installed, a helper script becomes available that downloads the right version of the ANTLR v4 tool jar:

picireny-install-antlr4

Usage

picireny uses the same CLI as picire and hence accepts the same options. On top of the inherited ones, picireny accepts several further arguments:

  • –grammars (required): List of grammars describing the input format. (You can write them by hand or simply download them from the ANTLR v4 grammars repository.

  • –start-rule (required): Name of the rule where parsing has to start.

  • –antlr (optional): Path the ANTLR tool jar.

  • –parser (optional): Language of the generated parser. Currently ‘python’ (default) and ‘java’ targets (faster, but needs JDK) are supported.

  • –islands (optional): File describing how to process island grammars if needed.

Example usage to reduce an HTML file:

picireny --input=<path/to/the/input.html> --test=<path/to/the/tester> \
         --grammars "HTMLLexer.g4 HTMLParser.g4" --start-rule document \
         --parallel --subset-iterator=skip --complement-iterator=backward

Compatibility

picireny was tested on:

  • Linux (Ubuntu 14.04 / 15.10)

  • Mac OS X (OS X El Capitan - 10.11).

Metadata

Release files for picireny 16.12

For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.

Source distribution (sdist)

Source distribution for picireny 16.12
File Size Uploaded
picireny-16.12.tar.gz 31.6 kB Details

Release files / picireny-16.12.tar.gz

Download URL picireny-16.12.tar.gz
Size 31.6 kB
Tags Source
SHA-256 checksum
How to use checksums
6e1aa5c23e6bb4f578f2428791fe98fccdd43fa9df784e4bf74801140839e22d
BLAKE2b-256 checksum
How to use checksums
9488b0c936fd35f1f4543dbf08b40cbf49628adbe049bbd102c6a110a09137d3
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing?
No

Release history Release notifications | RSS feed

21.8

2 release files

21.3

1 release file

19.3

1 release file

18.10

1 release file

18.2

1 release file

17.10

1 release file

17.7

1 release file

17.1

1 release file

This release

16.12 This release

1 release file

Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page