Quantifying developers' adoption of security tools | Synapse