Linked Presentation: Automated Verification of Network Function BinariesPerformance Interfaces for Network Functions