CLORIFI: software vulnerability discovery using code clone verification
Chucky: exposing missing checks in source code for vulnerability discovery