Public Repository

Last pushed: 2 years ago
Short Description
The Goodenough hybrid analysis for Dart
Full Description

This docker image contains a full environment to run Goodenough, the hybrid program analysis tool.
For more information on the Goodenough technique visit the website http://cs.au.dk/~amoeller/papers/goodenough/ .

This image has been assembled using the following Dockerfile
http://casadev.cs.au.dk/DART/issta_artifact/blob/master/Dockerfile

Docker Pull Command
Owner
algobardo