公开(公告)号：US20210191840A1

公开(公告)日：2021-06-24

申请号：US16724977

申请日：2019-12-23

Applicant: X Development LLC

Inventor： Abhishek Shailesh Shah ,  Gregory J. Prisament ,  Michael Beardsworth ,  Dmytro Hrybenko

IPC: G06F11/36 ,  G06F8/41

Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for performing real-time code analysis. One of the methods includes receiving a request to perform real-time code analysis on source code, wherein the request identifies one or more target source code elements. A plurality of real-time annotation values occurring in the source code for the target source code elements are identified. A call graph is generated for the one or more target source code elements. The call graph is traversed to identify one or more real-time violations, wherein each real-time violation is an instance in the source code that violates one or more real-time safe criteria. An output is provided that identifies one or more of the real-time violations occurring in the source code.