Learning Program Semantics for Vulnerability Detection via Vulnerability-specific Inter-procedural Slicing - View it on GitHub