< Back Home

Add your repository

Please note that the following prerequisites apply:

The project uses Maven as a build system. The version of Maven used here is 3.6.0.
The project can be built and tested against Open JDK 8 (1.8.0_201).

All fields are required.

Git URL:

The URL of the Git repository, e.g. https://github.com/fangyidong/json-simple.git.

Commit hash:

A commit hash or git tag to checkout the project to before the analysis.

Email address to send results to:

Please fill in your email address so we can notify you when the analysis has been completed. Your address won't be used for anything else beyond the notification.

Amplifiers

When this option is set, dspot-maven will be invoked with a more complete set of amplifiers for the generation. Be warned that it may take longer to compute.

DConfig: default setting for DSpot.

BConfig: FastLiteralAmplifier, MethodDuplicationAmplifier, MethodRemove, MethodAdderOnExistingObjectsAmplifier.

ZConfig: MethodDuplicationAmplifier, MethodRemove, FastLiteralAmplifier, StringLiteralAmplifier, ReturnValueAmplifier, NullifierAmplifier.