Patent Document ID: 9424008
Application ID: 14663753

Base Claim:
1. A system comprising: one or more processors; and one or more memory devices comprising program instructions that when executed by the one or more processors cause the system to enable: a parsing module configured to parse a statically-typed code to locate one or more application programming interfaces (APIs); a projection module configured to project the application programming interfaces into one or more application programming interface projections; and a consumption module configured to locate call sites of a dynamically-typed code and verify that the call sites map to the application programming interface projections from the statically-typed code.

---

Claim 2:
2. A system as described in claim 1 , wherein the consumption module is further configured to check for: syntax of the dynamically-typed code using the application programming interface projections; semantic use of the dynamically-typed code; or satisfaction of one or more contracts that is defined by an external code; or checking a callback into an implementation of another external code including existence of signatures involved for the callback.