专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明公开

US20240256428A1 SYSTEM AND METHOD FOR INTERACTIVELY DEBUGGING WEBASSEMBLY CODE 审中-公开
公开(公告)号：US20240256428A1
公开(公告)日：2024-08-01
申请号：US18424436
申请日：2024-01-26
申请人： Bullish Global
发明人： Huang-Ming Huang , Qing Yang , Santhosh Nagappa Kumaraswamy , Jiaen Du , Kevin Heifner , Zhiqiang (Eric) Ma , Farhad Shahabi , Jingjun Zhao , Keke Li , Victor Sanchez Camacho , Patrick Raphael , Aaron Fu , Mothusi Sean Majinda
IPC分类号： G06F11/36
CPC分类号： G06F11/3624 , G06F11/3636
摘要： Embodiments relate to interactively debugging non-native code inside native executables to identify erroneous execution logic and/or performance issues. The non-native code can be WebAssembly (WASM) code. Source smart contract code can be converted into a native binary in a format of a shared library. The shared library can be loaded by a blockchain executable when ready to load the smart contract for execution, and execution control can be passed to the shared library. A debugger can be attached to the host executable and single step through the smart contract code invoked. Embodiments relate to enabling interactive debugging of code as shared libraries (.so files) inside blockchains and native executables and/or generating execution trace information for smart contracts from non-native code without modifying its execution logic and/or generating relative performance information comparing smart contract execution in blockchains as non-native code with native execution as shared libraries to establish performance benchmarks.

2. 发明公开

US20240211375A1 PAYLOAD DATA REMOVAL FROM EXECUTION TRACES 审中-公开
公开(公告)号：US20240211375A1
公开(公告)日：2024-06-27
申请号：US18557539
申请日：2022-05-02
申请人： Microsoft Technology Licensing, LLC
发明人： Jordi MOLA
IPC分类号： G06F11/36
CPC分类号： G06F11/3636 , G06F11/3624
摘要： Removing payload data from an execution trace. Embodiments identify a pay load data item within an execution trace, identify particular executable code that interacted with the payload data item, and determine constraint(s) that execution of the particular executable code has placed on the pay load data item. Embodiments then replace a value of the payload data item in the execution trace with information maintaining the constraint(s). Examples of information maintaining the constraint(s) include one or more bytes of the particular executable code. a memory address corresponding to the pay load data item, and data structured to preserve code flow-such as a replacement value for the pay load data item, a specification of a set of one or more valid values for the pay load data item, or an instruction of a code path to follow in the particular executable code.

3. 发明授权

US12019992B2 Code enrichment for training language models relating to computer programming 有权
公开(公告)号：US12019992B2
公开(公告)日：2024-06-25
申请号：US17657530
申请日：2022-03-31
申请人： FUJITSU LIMITED
发明人： Mehdi Bahrami , Wei-Peng Chen
IPC分类号： G06F8/60 , G06F8/30 , G06F8/36 , G06F8/41 , G06F8/65 , G06F8/73 , G06F11/36 , G06F16/951 , G06F18/20 , G06F18/22 , G06F18/23213 , G06F40/166 , G06F40/211 , G06F40/216 , G06F40/242 , G06F40/30 , G06F40/40 , G06F40/44 , G06N3/04 , G06N3/08
CPC分类号： G06F40/30 , G06F8/30 , G06F8/36 , G06F8/42 , G06F8/436 , G06F8/65 , G06F8/73 , G06F11/3624 , G06F16/951 , G06F18/22 , G06F18/23213 , G06F18/285 , G06F40/166 , G06F40/211 , G06F40/216 , G06F40/242 , G06F40/40 , G06F40/44 , G06N3/04 , G06N3/08
摘要： According to an aspect of an embodiment, operations for code enrichment for training language models on tasks related to computer programming are provided. The operations include receiving source code data including a computer-executable code and a natural language (NL) text. The operations further include determining blocks of code from the computer-executable code. The operations further include extracting a set of features related to components of the source code data from the blocks of code. The extraction is performed by parsing the blocks of code using Abstract Syntax Tree (AST) data of the blocks of code. The operations further include revising the AST data. The operations further include updating the source code data based on the revised AST data and generating a dataset of NL and abstracted code features as training data based on the updated source code data and further training a language model on a sequence-to-sequence generation task.

4. 发明授权

US12013774B2 Verification of core file debugging resources 有权
公开(公告)号：US12013774B2
公开(公告)日：2024-06-18
申请号：US17877528
申请日：2022-07-29
申请人： Red Hat, Inc.
发明人： Aaron Merey
IPC分类号： G06F11/36 , G06F11/32
CPC分类号： G06F11/366 , G06F11/327 , G06F11/3624
摘要： Systems and methods for implementing a verification of core file debugging resources are disclosed. A plurality of mappings are created from a core file comprising a plurality of filenames and a plurality of target build identifiers (IDs). The core file corresponds to a computer program crash event and each one of the plurality of mappings map one of the plurality of filenames to a corresponding one of the plurality of target build IDs. Responsive to creating the plurality of mappings, a first file is located that corresponds to a first filename included in a first mapping from the plurality of mappings. The first comprises a first target build ID. A processing device utilizes the first file to analyze the computer program crash event in response to determining that the first file build ID matches the first target build ID.

5. 发明公开

US20240037017A1 VERIFICATION OF CORE FILE DEBUGGING RESOURCES 审中-公开
公开(公告)号：US20240037017A1
公开(公告)日：2024-02-01
申请号：US17877528
申请日：2022-07-29
申请人： Red Hat, Inc.
发明人： Aaron Merey
IPC分类号： G06F11/36 , G06F11/32
CPC分类号： G06F11/366 , G06F11/3624 , G06F11/327
摘要： Systems and methods for implementing a verification of core file debugging resources are disclosed. A plurality of mappings are created from a core file comprising a plurality of filenames and a plurality of target build identifiers (IDs). The core file corresponds to a computer program crash event and each one of the plurality of mappings map one of the plurality of filenames to a corresponding one of the plurality of target build IDs. Responsive to creating the plurality of mappings, a first file is located that corresponds to a first filename included in a first mapping from the plurality of mappings. The first comprises a first target build ID. A processing device utilizes the first file to analyze the computer program crash event in response to determining that the first file build ID matches the first target build ID.

6. 发明授权

US11874688B2 Identification of diagnostic messages corresponding to exceptions 有权
公开(公告)号：US11874688B2
公开(公告)日：2024-01-16
申请号：US17519179
申请日：2021-11-04
申请人： Hewlett Packard Enterprise Development LP
发明人： Soumitra Chatterjee , Balasubramanian Viswanathan
IPC分类号： G06F11/36 , G06N3/04 , G06N3/08
CPC分类号： G06F11/3624 , G06N3/04 , G06N3/08
摘要： Example techniques for identification of diagnostic messages corresponding to exceptions are described. A determination model may determine whether a set of diagnostic messages generated based on analysis of a source code includes a diagnostic message that likely corresponds to an exception. The determination may be used to identify a set of diagnostic messages including the diagnostic message that likely corresponds to an exception.

7. 发明授权

US11868731B2 Code retrieval based on multi-class classification 有权
公开(公告)号：US11868731B2
公开(公告)日：2024-01-09
申请号：US17657614
申请日：2022-03-31
申请人： FUJITSU LIMITED
发明人： Mehdi Bahrami , Wei-Peng Chen
IPC分类号： G06F40/30 , G06F8/41 , G06F40/216 , G06F18/22 , G06F18/20 , G06F18/23213 , G06N3/04 , G06F8/73 , G06F40/166 , G06F40/40 , G06F40/211 , G06F40/242 , G06F8/30 , G06N3/08 , G06F40/44 , G06F8/36 , G06F8/65 , G06F11/36 , G06F16/951
CPC分类号： G06F40/30 , G06F8/30 , G06F8/36 , G06F8/42 , G06F8/436 , G06F8/65 , G06F8/73 , G06F11/3624 , G06F16/951 , G06F18/22 , G06F18/23213 , G06F18/285 , G06F40/166 , G06F40/211 , G06F40/216 , G06F40/242 , G06F40/40 , G06F40/44 , G06N3/04 , G06N3/08
摘要： According to an aspect of an embodiment, operations include receiving a set of NL descriptors and a corresponding set of PL codes. The operations further include determining a first vector associated with each NL descriptor and a second vector associated with each PL code, using language models. The operations further include determining a number of a set of semantic code classes to cluster the set of PL codes into the set of semantic code classes, based on the number, the first vector, and the second vector. The operations further include training a multi-class classifier model to predict a semantic code class, from the set of semantic code classes, corresponding to an input NL descriptor. The operations further include selecting an intra-class predictor model based on the predicted semantic code class. The operations further include training the intra-class predictor model to predict a PL code corresponding to the input NL descriptor.

8. 发明授权

US11797419B2 Task-specific logging in digital computer systems 有权
公开(公告)号：US11797419B2
公开(公告)日：2023-10-24
申请号：US17656222
申请日：2022-03-23
申请人： International Business Machines Corporation
发明人： Felix Beier , Eberhard Schoeck , Christian Wilhelm Paul Hoerst , Stefan Renner , Johannes Severin Kern
IPC分类号： G06F11/36 , G06F11/07 , G06F11/30 , G06F11/32
CPC分类号： G06F11/3612 , G06F11/0772 , G06F11/3075 , G06F11/3086 , G06F11/321 , G06F11/366 , G06F11/3624
摘要： A technique for logging tasks in a computer system. Tasks are logged into the computer system by executing at least one task at the computer system. A set of log metadata and a set of log levels of log records of the at least one task may be determined from an execution log output of the at least one task. Execution outputs of a further task may be determined according to the determined set of log metadata and associated set of log levels.

9. 发明授权

US11789851B2 Offline debugging method 有权
公开(公告)号：US11789851B2
公开(公告)日：2023-10-17
申请号：US17426109
申请日：2020-09-15
申请人： SHANGHAI NCATEST TECHNOLOGIES CO., LTD.
发明人： Jack Hu
IPC分类号： G06F11/36
CPC分类号： G06F11/3664 , G06F11/3624
摘要： The present invention discloses an offline debugging method, comprising: S01: obtaining interfaces which require return values in test flows of the test device; S02: setting the return value corresponding to each of the interfaces which require the return values, adding M debugging strategies and determining a debugging strategy required to be started; S03: compiling a configuration file comprises the M debugging strategies into an executable file required by the target platform; S04: setting up a virtual machine to fit the target platform, and transferring the executable file to the virtual machine; S05: invoking the test flow, returning the return value set by the debugging strategy corresponding to the interface which require the return value and obtaining an debugging result correspondingly. Therefore, the present invention solves a problem that debugging relays on hardware devices in semiconductor automation test, so as to reduce complexity and difficulty of debugging of a test device.

10. 发明公开

US20230315611A1 BUG-DETECTION ASSISTING DEVICE, BUG-DETECTION ASSISTING METHOD, AND BUG-DETECTION ASSISTING PROGRAM 审中-公开
公开(公告)号：US20230315611A1
公开(公告)日：2023-10-05
申请号：US18022749
申请日：2020-09-14
申请人： NIPPON TELEGRAPH AND TELEPHONE CORPORATION
发明人： Yuma KUROGOME , Makoto IWAMURA , Jun MIYOSHI
IPC分类号： G06F11/36
CPC分类号： G06F11/3644 , G06F11/3624
摘要： A profile unit of a bug detection support apparatus specifies a plurality of hot paths indicating functions which frequently execute individual processing by executing a compiled binary file. The profile unit specifies, under a constraint condition that a total execution time of hot paths to which a bug detection tool is applied and hot paths to which the bug detection tool is not applied is shorter than a predetermined time, a combination of a hot path to which the bug detection tool is applied and a hot path to which the bug detection tool is not applied by obtaining a solution of an objective function which maximizes the number of the hot paths to which the bug detection tool is applied and minimizes the total execution time. A rewriting unit of the bug detection support apparatus rewrites an intermediate expression of the binary file.

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式