On the Correctness of Metadata-Based SBOM Generation: A Differential Analysis Approach | Synapse