Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools - View it on GitHub