Sherlock - Interrogation Testing of Program Analyzers for Soundness and Precision Issues

Published September 10, 2024 | Version v2

Software Open

Files

Name	Size	Download all
sherlock_submission.zip md5:f6ce2f69552c16ba8aaf970ac56be3ea	78.7 MB	Preview Download

106

Views

Downloads

Show more details

DOI

Resource type

Software

Publisher

Zenodo

Conference

License: Apache License 2.0

A permissive license whose main conditions require preservation of copyright and license notices. Contributors provide an express grant of patent rights. Licensed works, modifications, and larger works may be distributed under different terms and without source code. Read more