CLORIFI: software vulnerability discovery using code clone verification
Hybrid Concolic Testing