An Empirical Study of Publicly Available Static Analysis Tools for Detecting Use-After-Free and Double-Free Vulnerabilities