公开(公告)号：US20210406154A1

公开(公告)日：2021-12-30

申请号：US17473707

申请日：2021-09-13

Applicant: Microsoft Technology Licensing, LLC

Inventor： Del MYERS ,  Jackson Michael DAVIS ,  Thomas LAI ,  Andrew R. STERLAND ,  Deborah CHEN ,  Patrick Lothian NELSON ,  Jordi MOLA ,  Juan Carlos AREVALO BAEZA ,  James M. PINKERTON ,  Leslie Yvette RICHARDSON ,  Kenneth Walter SYKES

IPC: G06F11/36 ,  G06F16/23 ,  G06F9/48

Abstract: Based on replay of a thread, one implementation observes an influx of a value of a memory cell comprising an interaction between the thread and the value of the memory cell at an execution time point in the replaying, and determines whether the value of the memory cell observed from the influx is inconsistent with a prior value of the memory cell as known by the thread at the execution time point. If so, this implementation initiates an indication of a data inconsistency. Based on replay of a plurality of threads, another implementation identifies a memory cell that was accessed by a first thread while a thread synchronization mechanism was active on the first thread. Then, if there was another access to the memory cell by a second thread without use of the thread synchronization mechanism, this implementation initiates an indication of a potential data contention.

公开(公告)号：US20200019719A1

公开(公告)日：2020-01-16

申请号：US16579590

申请日：2019-09-23

Applicant: Microsoft Technology Licensing, LLC

Inventor： Jordi MOLA ,  Henry GABRYJELSKI ,  Jackson Michael DAVIS

IPC: G06F21/62 ,  G06F21/12 ,  G06F11/36 ,  G06F11/30

Abstract: Protecting sensitive information in connection with a trace of an original execution of an entity. Embodiments include identifying that original information—which was accessed based on an original execution of one or more original executable instructions of the entity—comprises sensitive information. Based on the original information comprising the sensitive information, embodiments include performing one or both of (i) storing first trace data comprising alternative information—rather than the original information, while ensuring that an execution path that was taken by the entity based on the original information is also taken during replay of the original execution of the entity; or (ii) storing second trace data that causes zero or more alternative executable instructions—rather than the one or more original executable instructions of the entity—to be executed during the replay of the original execution of the entity.

公开(公告)号：US20200310946A1

公开(公告)日：2020-10-01

申请号：US16372210

申请日：2019-04-01

Applicant: MICROSOFT TECHNOLOGY LICENSING, LLC

Inventor： Patrick Lothian NELSON ,  Jackson Michael DAVIS ,  Del MYERS ,  Thomas LAI

IPC: G06F11/36 ,  G06F9/455 ,  G06F17/50

Abstract: Performing reverse execution debugging of an application. The method includes identifying a snapshot of application state for an application in an application framework. The method further includes emulating execution of the application, using bytecode, in a forward direction from the snapshot to an end point, causing generation of historical execution state at various points along the emulation of the application. The method further includes collecting the historical execution state. The method further includes using the collected historical execution state, emulating reverse execution of the application by substituting collected historical execution state, when needed, to restore previous state needed as a result of emulation of reverse execution of the application.

公开(公告)号：US20200257614A1

公开(公告)日：2020-08-13

申请号：US16271182

申请日：2019-02-08

Applicant: Microsoft Technology Licensing, LLC

Inventor： Jackson Michael DAVIS ,  Del MYERS ,  Patrick Lothian NELSON ,  Andrew R. STERLAND ,  Leslie Yvette RICHARDSON ,  Jordi Mola ,  James M. PINKERTON ,  Mark MARRON

IPC: G06F11/36

Abstract: This disclosure relates to identifying and presenting differences between a plurality of recorded executions of an executable entity. One or more models are created over the plurality of recorded prior executions of at least a portion of an executable entity. These models include at least one of (i) a control flow model, or (ii) a data model. An anomalous model data point is identified within these models, and a first location in at least one of the plurality of recorded executions that corresponds to the anomalous model data point is identified. A second location in the at least one of the plurality of recorded executions is also identified. This second location is causal to the anomalous model data point at the first location. The identity of the first and/or second locations in the least one of the plurality of recorded executions is presented.

公开(公告)号：US20200272555A1

公开(公告)日：2020-08-27

申请号：US16284913

申请日：2019-02-25

Applicant: Microsoft Technology Licensing, LLC

Inventor： Leslie Yvette RICHARDSON ,  Jackson Michael DAVIS ,  Del MYERS ,  Thomas LAI ,  Andrew R. STERLAND ,  Jordi MOLA ,  James M. PINKERTON

IPC: G06F11/36

Abstract: The automatic identification of execution behavior(s) of software. This automatic identification is based on a historical analysis of execution records to identify a particular pattern that represents an execution behavior. In order to automatically identify an execution behavior present within particular software, an execution record (or perhaps multiple execution records) representing the execution of that particular software may be accessed. Based on finding the particular pattern within the execution record (or one, some, or all of the multiple execution records) representing the execution of that particular software, the computing system may automatically identify that the execution behavior is present within the software. This may dramatically assist in modifying that execution behavior.

公开(公告)号：US20200242007A1

公开(公告)日：2020-07-30

申请号：US16258291

申请日：2019-01-25

Applicant: Microsoft Technology Licensing, LLC

Inventor： Jackson Michael DAVIS ,  Patrick Lothian NELSON ,  Andrew R. STERLAND ,  Jordi MOLA ,  Del MYERS ,  Leslie Yvette RICHARDSON ,  Thomas LAI

IPC: G06F11/36 ,  G06F9/455

Abstract: Dynamically instrumenting code that executes based on a historic execution of a subject executable entity. Historic execution information for a subject executable entity is accessed. The historic execution information includes execution state information for at least one point in time in the historic execution the executable entity. Diagnostic code instruction(s) are identified, for instrumenting subject code instruction(s) of the executable entity. The subject code instruction(s) are virtually executed based at least on supplying the subject code instruction(s) with data from the historic execution information. While virtually executing the identified executable code instruction(s), the diagnostic code instruction(s) are also executed. The diagnostic code instruction(s) collecting diagnostic data regarding the virtual execution of the subject code instruction(s), or override at least one of a value or an execution behavior of the subject code instruction(s).

公开(公告)号：US20190324892A1

公开(公告)日：2019-10-24

申请号：US15960066

申请日：2018-04-23

Applicant: MICROSOFT TECHNOLOGY LICENSING, LLC

Inventor： Henry GABRYJELSKI ,  Jackson Michael DAVIS ,  Patrick Lothian NELSON ,  Del MYERS ,  Thomas LAI ,  Jordi MOLA

IPC: G06F11/36

Abstract: Presenting historical state associated with prior execution of an entity. Based on replaying segment(s) of execution of an entity based on a trace, embodiments could present an indication of whether a value of a code element is, at a first execution time point, unknown, known, previously known, and/or known in the future. Additionally, or alternatively, embodiments could present an indication of a value relied upon by simulated execution of a function at a second execution time point, along with an indication of a timing of knowledge of the value in relation to the second execution time point. Additionally, or alternatively, embodiments could present an indication that a return value of a function would be known if the function had executed at a third execution time point, or an indication that the return value would be unknown if the function had executed at the third execution time point.

公开(公告)号：US20210141709A1

公开(公告)日：2021-05-13

申请号：US17154853

申请日：2021-01-21

Applicant: Microsoft Technology Licensing, LLC

Inventor： Leslie Yvette RICHARDSON ,  Jackson Michael DAVIS ,  Del MYERS ,  Thomas LAI ,  Andrew R. STERLAND ,  Jordi MOLA ,  James M. PINKERTON

IPC: G06F11/36

Abstract: Automatic identification of execution behavior(s) of software. This automatic identification is based on analysis of historical execution records using machine learning to identify a particular pattern that corresponds to an execution behavior. In order to automatically identify an execution behavior present within particular software, an execution record of that particular software is accessed. The execution record includes an execution trace that reproducibly represents the execution of the software within a particular execution environment, such that the execution record is usable to rerun the execution of the software precisely as the software previously run. Based on finding the particular pattern within the execution record, the computing system automatically identifies that the execution behavior is present within the software.

公开(公告)号：US20200301817A1

公开(公告)日：2020-09-24

申请号：US16358442

申请日：2019-03-19

Applicant: Microsoft Technology Licensing, LLC

Inventor： Jackson Michael DAVIS ,  Andrew R. STERLAND ,  Patrick FENELON ,  Esteban HERRERA

IPC: G06F11/36 ,  G06F8/33 ,  G06F8/75

Abstract: Automatic navigation of a user from a log statement that is selected by the user from a log to a code expression that was executed to generate the selected log statement. The computing system automatically identifies one or more code expressions as candidates for having generated the log statement, and then maps the log statement to these identified candidate code expressions in the code. In response to input from the user selecting the log expression, the computing system uses the mapping to visually provide a correlation between the log statement and the particular code expression, where the one or more mapped code expressions includes the particular code expression that actually generated the log statement.

公开(公告)号：US20190286549A1

公开(公告)日：2019-09-19

申请号：US15921883

申请日：2018-03-15

Applicant: Microsoft Technology Licensing, LLC

Inventor： Jordi MOLA ,  Henry GABRYJELSKI ,  Jackson Michael DAVIS

IPC: G06F11/36 ,  G06F21/62 ,  G06F11/34

Abstract: Protecting sensitive information in connection with tracing an original execution of an entity. Embodiments include identifying that original information—which was accessed based on an original execution of one or more original executable instructions of the entity—comprises sensitive information. Based on the original information comprising the sensitive information, embodiments include performing one or both of (i) storing first trace data comprising alternative information—rather than the original information—into the trace, while ensuring that an execution path that was taken by the entity based on the original information is also taken during replay of the original execution of the entity using the trace; or (ii) storing second trace data into the trace that causes zero or more alternative executable instructions—rather than the one or more original executable instructions of the entity—to be executed during the replay of the original execution of the entity.