Automatic Security-Flaw Detection Replication and Comparison | IEEE Conference Publication | IEEE Xplore