Cisco Technology, Inc.

Jamie Taylor

Jonathan Gregory Rossie, Jr

Jonathan Mayer Sobel

Mary Ellen Zurko

Andrew William Keep

Swaha Das Miller

Carl Bruggeman

Jason A Young

R Kent Dybvig

Source code verification, including receiving a declaration of a variable as a secret type, determining if any source code is configured to use the variable as a type other than secret, and if it is determined that there is source code that will use the variable as a type other than secret, creating an exception in the source code verification process.

Securing secret information in source code verification and at runtime

In one embodiment, a method is disclosed that includes executing, by a device, one or more programs that use asynchronous message passing. The one or more programs comprise instrumentation code that causes message context information to be generated regarding asynchronous messages passed by the one or more programs. The message context information is indicative of one or more points within the one or more programs at which a particular message is sent or received. The method includes maintaining a current message context associated with a particular portion of the one or more programs. The method includes receiving a first asynchronous message that includes message context information for the received message. The method includes updating the current message context to include the message context information received via the first asynchronous message.

Collection of memory allocation statistics by provenance in an asynchronous message passing system

In certain embodiments, source code that includes at least one request to send an asynchronous message between state machines is obtained at a computing system. The computing system determines whether the asynchronous message can be implemented as an inlined message. Executable machine code corresponding to the source code is compiled such that the asynchronous message is compiled as an inlined message.

Message inlining

Growing community of inventors

Raleigh, NC, United States of America

Jamie Taylor