< Back Home

Add your repository

Please note that the following prerequisites apply:




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

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

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.

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.