公开(公告)号：US20170300400A1

公开(公告)日：2017-10-19

申请号：US15441235

申请日：2017-02-24

Applicant: MICROSOFT TECHNOLOGY LICENSING, LLC.

Inventor： Jackson DAVIS

IPC: G06F11/36

CPC classification number: G06F11/366 ,  G06F11/362 ,  G06F11/3636 ,  G06F11/3644 ,  G06F11/3664

Abstract: A diagnostic workflow file can be used to control the future diagnostic actions taken by a debugger without user interaction with the debugger when it executes. The diagnostic workflow file is used by a debugger during a debug session. The debugger performs the actions directed by the diagnostic workflow file to simulate an interactive live debug session. The diagnostic workflow file can include conditional diagnostic operations whose execution depends on the state of program variables, diagnostic variables and diagnostic primitives in the debug session.

公开(公告)号：US20210149788A1

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

申请号：US16687444

申请日：2019-11-18

Applicant: Microsoft Technology Licensing, LLC

Inventor： Mark Anthony Jelf DOWNIE ,  Jackson DAVIS ,  Thomas LAI ,  Andrew Richard STERLAND ,  Wai Hang ("Barry") TANG ,  Nikolaus KARPINSKY

IPC: G06F11/36 ,  G06F8/70

Abstract: Embodiments provide improved diagnosis of software defects. Static analysis services and other source-based diagnostic tools and techniques are applied even when the source code underlying software is unavailable. Diagnosis obtains diagnostic artifacts, extracts diagnostic context from the artifacts, decompiles to get source, and submits decompiled source to a source-based software analysis service. The analysis service may be a static analysis tool, an antipattern scanner, or a machine learning model trained on source code, for example. The diagnostic context may also guide the analysis, e.g., by localizing decompilation or prioritizing possible causes. Likely causes are culled from analysis results and identified to a software developer. Changes to mitigate the defect's impact are suggested. Thus, the software developer receives debugging leads without providing source code for the defective program, and without manually navigating through a decompiler and through the analysis services.

公开(公告)号：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

IPC: G11C29/38 ,  G11C29/44

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.

公开(公告)号：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

IPC: G06F11/36 ,  G06N20/00

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.

公开(公告)号：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

IPC: G06F11/36 ,  G06F11/30 ,  G06F11/34

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.