-
公开(公告)号：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
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.
-
公开(公告)号：US20200310946A1
公开(公告)日：2020-10-01
申请号：US16372210
申请日：2019-04-01
Applicant: MICROSOFT TECHNOLOGY LICENSING, LLC
Inventor： Patrick Lothian NELSON , Jackson Michael DAVIS , Del MYERS , Thomas LAI
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.
-
公开(公告)号：US20210173760A1
公开(公告)日：2021-06-10
申请号：US16704925
申请日：2019-12-05
Applicant: Microsoft Technology Licensing, LLC
Inventor： Mark Anthony Jelf DOWNIE , Jackson DAVIS , Thomas LAI , Andrew Richard STERLAND , Wai Hang ("Barry") TANG , Nikolaus KARPINSKY
Abstract: Embodiments improve software defect diagnosis. Analytic focus is automatically walked back from an initial symptomatic diagnostic context to a previous diagnostic context that is closer to underlying causes. Diagnosis may obtain diagnostic artifacts such as traces or dumps, extract diagnostic context, decompile executables, lookup likely causes based on symptoms, scan logs, and submit diagnostic context to software analysis services. An analysis service may perform static analysis, security testing, symptom-pair lookups, or antipattern scanning, for example, and may include a neural network or other machine learning model, for example. Root causes are culled from analysis results and identified to a software developer. Changes to mitigate the defect's impact are suggested in some cases. Thus, the software developer receives debugging leads without manually navigating through all the tool interfaces or unrelated details of diagnostic contexts. This allows the developer to more efficiently reach a useful diagnosis of defects, even for unfamiliar issues.
-
公开(公告)号：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.
-
公开(公告)号：US20190332519A1
公开(公告)日：2019-10-31
申请号：US15965026
申请日：2018-04-27
Applicant: Microsoft Technology Licensing, LLC
Inventor： Del MYERS , Jackson DAVIS , Thomas LAI , Patrick NELSON , Jordi MOLA , Juan Carlos AREVALO BAEZA
Abstract: Expressly turning tracing on and off at each juncture between code that a developer wants to have traced and other code may reduce trace file size but adds computational cost. Described technologies support selectively tracing a process's execution, with some extra tracing done beyond the code the developer wanted traced, but with significantly reduced computational cost, by reducing the number of trace enablement and disablement operations. A trace controller uses a tracing disablement distance variable whose values indicate the computational distance from trace disablement. A distance variable modifier automatically moves the distance variable closer to a stop-tracing value as the process executes. The amount of extra tracing is balanced against the reduction in trace enablement/disablement operations by tuning thresholds, based on information about routine size and computational cost. Operation of the trace controller is illustrated by sample APIs, a tracing state diagram, and a side-by-side comparison, among other items.
-
Patent Agency Ranking
公开(公告)号：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
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).
-
公开(公告)号：US20190340103A1
公开(公告)日：2019-11-07
申请号：US15969721
申请日：2018-05-02
Applicant: Microsoft Technology Licensing, LLC
Inventor： Patrick NELSON , Jackson DAVIS , Del MYERS , Thomas LAI , Deborah CHEN , Jordi MOLA , Noah FALK
IPC: G06F11/36
Abstract: Described technologies aid execution control during replays of traced program behavior. Cross-level mapping correlates source code, an intermediate representation, and native instructions in a trace. The trace includes a record of native code instructions which were executed by a runtime-managed program. The trace does not include any executing instance of the runtime. Breakpoints are set to align trace locations with source code expressions or statements, and to skip over garbage collection and other code unlikely to interest a developer. A live debugging environment is adapted to support trace-based reverse execution. An execution controller in a debugger or other tool may utilize breakpoint ranges, cross-level mappings, backward step-out support, and other items to control a replay execution of the trace. Aspects of familiar compilers or familiar runtimes may be re-purposed for innovative execution control which replays previously generated native code, as opposed to their established purpose of generating native code.
-
公开(公告)号：US20190325980A1
公开(公告)日：2019-10-24
申请号：US15960177
申请日：2018-04-23
Applicant: Microsoft Technology Licensing, LLC
Inventor： Patrick NELSON , Jackson DAVIS , Del MYERS , Thomas LAI , Deborah CHEN , Jordi MOLA , Juan Carlos AREVALO BAEZA
Abstract: Described technologies extend the information available from an execution trace of a program by providing heuristically-derived values for memory contents when the trace does not include data expressly showing the value of a memory cell at a particular execution time. Various heuristics are described. The heuristics may use information about the memory cell at other times to produce the derived value. Some heuristics use other trace data, such as whether the memory cell is in a stack, whether there are gaps in the trace, or whether garbage collection or compilation occurred near the time in question. Grounds for the derived value are reported along with the derived value. A time-travel debugger or other program analysis tool can then present the derived values to users, or make other use of the derived values and grounds to assist debugging and other efforts to improve the functioning of a computing system.
-
公开(公告)号：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.
-
-
-
-
-
-
-
-
-
Search Results
16
records
(took 0.047 seconds)
