561 results about "Executable" patented technology

The invention discloses a chip verification method and device, equipment, a storage medium and a program product. The method comprises the steps that a first executable file of a C model is obtained, the first executable file comprises an original code and a target code which are designed based on a verified function in a chip, and the verified function comprises a plurality of algorithm steps; running the first executable file based on the input signal to obtain running data of each algorithm step; extracting simulation data of each algorithm step from the simulation waveform file with the verified function; and respectively comparing the operation data and the simulation data of each algorithm step to determine an abnormal algorithm step in which the operation data and the simulation data are inconsistent. Therefore, by automatically comparing the operation data and the simulation data of each algorithm step, the abnormal algorithm step with the problem can be quickly determined, and the manual inspection and analysis time is shortened.

The invention discloses a Direct3D deep cutting behavior compatible method based on an atomization shader, which comprises the following steps: establishing a scene combination metadata table in a DXVK compiling stage, constructing a shader template library containing atomization components and variants, and generating an executable file of the DXVK; after the DXVK is started, deep processing API calling of the D3D application is intercepted, parameters are extracted to generate an atomization parameter set, and scene combination metadata are matched or newly added in a scene combination metadata table to obtain a recommendation strategy and shader component combination; a conversion mode is adaptively selected according to scene metadata to calculate a Vulkan depth value, and a depth comparison operation is adapted to generate a Vulkan depth conversion parameter; the DXVK maps the parameters into DRM depth control parameters irrelevant to hardware and transmits the DRM depth control parameters to a kernel, the DRM packages the DRM depth control parameters and converts the DRM depth control parameters into hardware instructions matched with the GPU, the DXVK loads a shader template and binds the parameters, original logic is spliced to generate a Vulkan shader module, a Vulkan command stream containing the hardware instructions is generated and submitted to the GPU after a pipeline is bound, and finally the GPU executes the Vulkan command stream to obtain a depth rendering result conforming to D3D native logic.

A system and method for data compaction with adaptive codebook statistical estimates. Training data sets determine sourceblock frequencies while a dynamic mismatch probability system continuously refines estimates based on observed patterns. Context-aware handling selects appropriate secondary encoding methods for different data types (text, binary, image, executable). Machine learning models predict optimal mismatch probabilities from extracted features. Edge-optimized training enables codebook development on resource-constrained devices with intelligent resource management. Differential updates transmit only changes between codebook versions, minimizing bandwidth usage. Federated learning enables multiple devices to contribute to shared codebooks while maintaining data privacy. A secure synchronization protocol with authentication and verification ensures codebook consistency. The distributed maintenance method provides systematic validation, conflict resolution, and optimization across device networks, enabling efficient encoding across heterogeneous systems.

The invention discloses a lightweight cross-platform PLC (Programmable Logic Controller) multi-language code generation method, which relates to the field of industrial process control, and firstly provides a unified intermediate data model, and on the basis, a module for converting each PLC language into the unified intermediate data model is realized; on the basis of a standardized JSON data structure, a modularized unified intermediate language conversion chain is further supported, an analyzer and a generator communicate through a JSON interface, a cross-platform conversion path is supported, and unified intermediate language conversion from PLC to JSON to XML to ST to C is completed; the method comprises the following steps of: integrating an open source compiler and runtime, constructing an open and pluggable automatic execution framework, compiling a generated C code into a platform executable file by using an adaptive GCC tool chain aiming at different target platforms, and deploying a program generated by compiling to a soft PLC runtime system supporting multiple platforms. According to the method, a JSON intermediate data structure which is light in weight, unrelated to languages and uniform in structure and a matched conversion framework of the JSON intermediate data structure are constructed.

This invention discloses a full lifecycle management system and method for scientific computing programs. The system includes a build environment subsystem and a production environment subsystem. The former provides computer resources for the build process of the scientific computing program throughout its lifecycle, while the latter provides computer resources for the testing and deployment processes. This invention, through a full lifecycle management method for scientific computing programs, operates on corresponding computing resources, encompassing a series of steps including querying, triggering scheduling, build execution, result distribution, and test deployment. It automatically generates the executable file of the scientific computing program and configures its runtime dependencies. Simultaneously, it automatically generates a corresponding description file recording the entire lifecycle process. Furthermore, based on version management of these description files and their sets, it achieves full lifecycle traceability and cross-platform migration and deployment of scientific computing programs in a high-performance computing environment.

An automated system attempts to characterize code as safe or unsafe. For intermediate code samples not placed with sufficient confidence in either category, human-readable analysis is automatically generated to assist a human reviewer in reaching a final disposition. For example, a random forest over human-interpretable features may be created and used to identify suspicious features in a manner that is understandable to, and actionable by, a human reviewer. Similarly, a k-nearest neighbor algorithm may be used to identify similar samples of known safe and unsafe code based on a model for, e.g., a file path, a URL, an executable, and so forth. Similar code may then be displayed (with other information) to a user for evaluation in a user interface. This comparative information can improve the speed and accuracy of human interventions by providing richer context for human review of potential threats.

Apparatuses, systems, and techniques to detect potential security risks using application program interface (API) scanners. In at least one embodiment, software is scanned to identify one or more APIs of different categories and the position of the APIs and associated code in an executable file may be altered to reduce one or more potential risks.

The invention provides a method and a device for verifying and debugging a chip algorithm module. The consistency of a C language reference model and a simulation waveform can be automatically compared and tracked. The method comprises the following steps: constructing a verification environment and generating an fsdb waveform and a C language reference model executable file with debugging information; generating a GDB command and an fsdbreport command based on the configuration information, extracting a variable value and a signal value, and performing consistency comparison; if the comparison is consistent, ending, otherwise, entering signal tracking; in signal tracking, a PyNPI interface is called to forward track a driving signal and analyze a signal value matching condition in a clock period; and if the corresponding value is not matched, generating a new configuration file and circularly executing the debugging process. According to the technical scheme provided by the invention, the root of the problem can be automatically tracked and quickly positioned at the initial verification stage of the algorithm module, the dynamic addition of comparison nodes is supported, and the manual debugging cost is reduced.

In some embodiments, a computer-implemented method for preventing credential passing attacks may include receiving an input; determining whether the input is a credential access command, wherein the determination includes searching for occurrences of references to executables related to adding, reading, copying, or performing actions with respect to a credential, if the input is determined to be a credential access command, performing anomaly detection, wherein performing the anomaly detection includes evaluating whether a user is a valid domain user, whether an elapsed time of the credential is greater than a maximum lifetime of the credential, and whether a privilege attribute certificate of the credential is valid, determining that an anomaly exists if the command was generated by an invalid domain user; an elapsed time of a credential is greater than a maximum lifetime, or the privilege attribute certificate of the credential is invalid, and performing mitigation of the anomaly.

Aspects of the present disclosure relate to threat detection of executable files. A plurality of static data points may be extracted from an executable file without decrypting or unpacking the executable file. The executable file may then be analyzed without decrypting or unpacking the executable file. Analysis of the executable file may comprise applying a classifier to the plurality of extracted static data points. The classifier may be trained from data comprising known malicious executable files, known benign executable files and known unwanted executable files. Based upon analysis of the executable file, a determination can be made as to whether the executable file is harmful.

A cyber threat information processing method including generating stack trace information of a reader program of an operating system executing a non-executable file at a hooking point of a system call of the operating system when the reader program performs the system call, obtaining a calling function for calling the system call and a variable corresponding to the calling function from the generated stack trace information, and providing description information about the obtained calling function and the variable corresponding to the calling function.

A method for fuzzing constituted of: continuously generating units of data; inputting each of the generated units of data into a tested device; and adding each of one or more hooks to a respective one of one or more predetermined points of interest in a binary executable file running on the tested device, wherein responsive to the input units of data, each hook outputs information associated with the respective point of interest, the output information comprising data stored in a respective address of a memory associated with the respective point of interest, wherein the generation of the units of data is responsive to the output information associated with the respective points of interest.

The invention provides a method for verifying cache consistency of a multi-core processor, electronic equipment and a storage medium, and the method comprises the steps: generating a model compiled by a target language according to an obtained first conversion rule between any two states of a cache line of the multi-core processor, analyzing the model, and verifying the cache consistency of the multi-core processor; therefore, at least one path of state transition of the cache line is obtained. By generating the excitation corresponding to the at least one path, the excitation is compiled into an executable file, so that the cache consistency of the multi-core processor is verified by running the executable file. Therefore, the generated model written by the target language can automatically generate the incentives for verifying the cache consistency, so that more incentives can be generated, more test scenes can be covered as much as possible, and the cache consistency verification of the multi-core processor is more comprehensive.

The disclosed embodiments disclose techniques for decrypting an encrypted file. During operation, a recovery system receives an encryption key and a program executable that were previously used to encrypt an encrypted file using an unknown encryption technique. The program executable is executed in a sandbox environment that includes a known file containing a known pattern; the executing program generates a subsequent key and encrypts the known file. The subsequent key is extracted, and then characteristics of the known file, subsequent key, and the encrypted known file are compared to patterns determined for a set of standard encryption techniques to identify the specific encryption technique that was used. Knowledge of the identified encryption technique can then be used in combination with the original encryption key to decrypt the original encrypted file.

The invention relates to the technical field of computers, in particular to a hotfix loading method and device, electronic equipment and a storage medium so as to determine the offset of a TLS variable. Comprising the steps of compiling a patch function into a dynamic link library; obtaining a target offset of a thread local storage TLS variable in the patch function from the static link executable file, and obtaining relocation information of the TLS variable from the dynamic link library; after the patch file containing the patch function is dynamically loaded, a target memory address in the dynamic link library is determined based on the relocation information, and the target offset is stored in the target memory address; and when the to-be-repaired process is loaded to the to-be-repaired function, skipping to the patch function, and when the patch function is loaded, obtaining the target offset from the target memory address, and accessing the TLS variable of the patch function according to the target offset.

A computing system comprising one or more computing devices can access a file comprising documentation that includes a textual description and a source code snippet written to comply with a programming language syntax. The computing system can identify the source code snippet. The computing system can generate an executable based on the source code snippet. The computing system can initiate a test process that accesses the executable, the test process causing the executable to cause an event. The computing system can determine that the event is a valid event or an invalid event.

The invention relates to a PyGDBMI-based model simulation debugging method, and belongs to the field of model simulation. According to the method, C codes are compiled and constructed, codes consistent with models are compiled into executable files, mapping.xml files are read at the same time, and model information and the mapping relation between the models and the codes are stored in a dictionary in the form of key value pairs; a GdbController in a pygdbmi library is imported, a gdb process is started, and interaction with a GDB is achieved through an MI command; simulation operation of the executable file on the model and variable value setting are achieved through an MI command; stepping and variable obtaining in simulation debugging are achieved through an MI command, meanwhile, the obtained variables are stored in a dictionary list mode, and variable management, namely global data management, is achieved; simulation stopping in simulation debugging is achieved through an MI command. According to the method, multiple MI commands are designed through a PyGDBMI library, and operation, stepping, variable setting, variable obtaining and simulation stopping of model simulation debugging are achieved.

The invention relates to the technical field of software adaptation, in particular to a Beidou communication software development cross-platform adaptation method and system. The method comprises the following steps: defining an interface function library; constructing a virtual hardware logic module; linking the to-be-tested software, the interface function library and the virtual hardware logic module by utilizing a link rule, and determining an executable file of a single process; in the process of performing adaptation on the to-be-tested software by using the executable file of the single process, setting a simulation state of the virtual hardware logic module in response to calling of the state control interface by the test code, and setting a simulation state of the virtual hardware logic module in response to function calling of the native interface function by the to-be-tested software. And calling the virtual hardware logic module through an interface function library so as to carry out adaptation processing on the to-be-tested software. The invention aims to solve the problem that cross-platform adaptation cannot be realized due to the fact that all behavior characteristics of native hardware interfaces of different operating systems cannot be accurately reproduced in a virtual environment in the prior art.

Some examples of the present disclosure relate to executing configuration files generated from specification files. In one particular example, a system can receive a specification file defining functions for an application programming interface (API) associated with a software entity. The system can generate a graph identifying keywords and relationships associated with the functions. The system can generate, based on the graph, a mapping dictionary that maps the functions to tasks usable in an executable file associated with the API. The system can generate the executable file including one or more of the tasks based on the mapping dictionary and execute the executable file to perform operations associated with the API and the software entity at a node.

The embodiment of the invention provides a program conversion method and a compiling device, and relates to the technical field of computers, in the method, an IR file of a GPU program is obtained to serve as a to-be-converted file, for a function parameter of any function in the to-be-converted file, the function parameter is converted into a function parameter matched with a CPU, and the converted parameter is obtained. And determining the IR statement having data dependence with the converted parameter as a statement to be adapted. And for any statement to be adapted, adjusting the statement to be adapted based on the parameter type of the converted parameter and the thread execution mask of the CPU. And compiling the adjusted to-be-converted file to obtain an executable file adaptive to the CPU. The GPU programs written by different high-level languages can be converted into the IR file, so that the conversion is carried out from the dimension of the IR file, and the support for different high-level languages can be realized. Therefore, the limitation is lower.

A method includes receiving, by a processing device, receiving a data file, dividing the data file into a plurality of partitions based on a defined criteria, compiling the plurality of partitions associated with the data file to form a plurality of compiled partitions, generating a status identifier for each of the plurality of partitions, wherein the status identifier reflects a current version of a corresponding partition. The method further includes combining the plurality of compiled partitions to form a first executable file, and storing the plurality of compiled partitions and a corresponding status identifier for each of the plurality of compiled partitions in a first storage area of a first storage medium. The method also includes receiving a request for the data file, identifying that one or more partitions of the plurality of partitions is reusable, and sending the one or more partitions identified as being reusable.

A method for managing an application includes: analyzing an unsigned executable file to at least infer relocation information for calculating a proper location for a symbol and generate an integrity signature for non-changing parts of the unsigned executable file; signing the unsigned executable file to obtain a signed executable file, in which the unsigned executable file is signed by adding the integrity signature into a read-only data block; and presenting the signed executable file to an administrator as the application in order to initiate deployment of the application to a database that provides computer-implemented services to a user, in which, before the user is allowed to use the application, the application checks an integrity of the application by invoking the integrity signature and without requiring an assistance from an operating system, in which the application checks the integrity at least when the application being executed in memory.

A risk dependency platform may obtain a source code for task automation. The risk dependency platform may analyze the source code to determine one or more dependencies associated with the source code. The one or more dependencies may identify referenced source code that are included in the source code by reference. The risk dependency platform may obtain the referenced source code and may decompose the source code and the referenced source code into a plurality of tasks. The plurality of tasks may invoke a plurality of modules that are executables. The risk dependency platform may analyze the plurality of tasks to determine operations that are performed based on the plurality of modules being executed. The risk dependency platform may evaluate the operations to identify one or more risks associated with performing the operations. The risk dependency platform may perform an action based on the one or more risks.

The present technology provides solutions for performing real-time analytics based on generated telemetry. An example method includes identifying an executable file and an action associated with the executable file and performed on a host, generating a behavioral graph having nodes based on the executable file and the action, predicting a plurality of possible subsequent actions based on the behavioral graph, identifying that at least one of the plurality of possible subsequent actions is a malicious action, and adding a policy to a policy engine to prevent execution of the at least one of the plurality of possible subsequent actions. Computer-readable media and systems are also provided.

The invention discloses a test and evaluation method for a virtualization system in multiple scenes, which comprises the following steps: deploying an executable file compiled by a test script at a virtualization client, and testing the performance of a client operating system to judge the performance loss of the virtualization system to computer resources. The method comprises the following steps: step 1, creating a project, and configuring system parameters; 2, integrating a test program into a project, and generating a mirror image file; step 3, packaging a complete virtualization system mirror image; 4, transmitting the mirror image to a development board through a network protocol; 5, executing a command to start a system, and logging in a system console through a serial port; and 6, calling and executing the function test script, the performance test script and the security test script.

The invention provides an agent system, a data processing method thereof and related equipment, and relates to the technical field of artificial intelligence. The intelligent agent system comprises a first system, a second system and a third system, the first system converts the sensed environment state data into structured environment sensing information which can be identified and / or processed in the system, and executes an action command issued by the second system; the second system performs task reasoning decomposition on the target task plan issued by the third system based on an agent strategy model of a large language model, generates an action command executable by an agent, and issues the action command to the first system; and the third system generates a target task plan and mixed reward information used for updating the agent strategy model, and updates the agent autonomous model according to historical interaction information of the agent and the environment and related information in the execution process of the target task plan. According to the invention, the intelligent agent system with identity continuity and long-term state maintenance can be provided.

The invention relates to a domestic trusted dual-system protection method and system oriented to industrial control, and belongs to the technical field of industrial control security, and constructs a dual-system architecture based on hardware isolation: a domestic operation subsystem executes service logic, and a protection subsystem realizes independent security control through a TCM / TPCM trusted root. And the protection subsystem has a one-way access permission to form a hardware-level protection barrier. When the system is started, UBoot, a kernel and an application program are measured step by step through a TPCM chip, and a trusted chain is constructed; during operation, the active monitoring module calculates a process hash value in real time, compares the process hash value with the reference library, and executes security policies such as process termination / network blocking. The executable file, the network port and the source IP access control are covered by adopting a white list technology of encrypted signature. The full-period active protection of the terminal from starting to running is realized, the defect that a traditional scheme depends on kernel safety is overcome, the safety and reliability of a system are remarkably improved, and the requirement of an industrial control system for protection 2.0 is met.

A system for autonomously generating an implementing a machine executable file is disclosed herein. The system can include a node and an artificial intelligence generated machine executable (“AGMX”) platform communicatively coupled to the node. The AGMX platform can include a control circuit and a memory to store an artificial intelligence model that, when executed by the control circuit, causes the AGMX platform to receive a user input including an objective, generate an instruction for the node to execute based on the objective, determine a management authority protocol to be assigned to the node, wherein the management authority protocol defines an ability of the node to deviate from the instruction, generate an AGMX file including the instruction and the management authority protocol, wherein the AGMX file is to be executed by the node, and transmit the AGMX file to the node for execution by the node.

Techniques for automatically orchestrating, generating, and / or deploying a multi-agent are disclosed. A super agent ingests metadata describing a use case to identify workflows and tasks. A task assigner agent assigns the tasks to task agents. A task performer agent performs a basic task. A vertical agent performs a task using vertical resources of a system. A specialized task agent performs specialized tasks, such as those performed using a specialized language model. An orchestration agent arranges task agents into an orchestration according to a graph representation of a workflow. A compiler agent packages the orchestration into an executable. The executable is called to perform the workflow. An orchestration engine automatically selects task agents used to complete the workflow and compiles them into the executable. The system collects feedback based on the results of the executable and uses the feedback to optimize the super agent and / or the task assigner agent.

The invention provides a multi-agent collaborative supply chain bill system automatic development method and device, and the method comprises the steps: receiving a user demand document related to a to-be-developed supply chain bill system, and obtaining an enterprise specification document used for constraining development technical specifications; initializing a workflow arrangement module and a state data structure for automatically developing the supply chain bill system; wherein the workflow arrangement module comprises a directed graph, an intelligent agent is used as a node, and a circulation rule is used as an edge; and the intelligent agent processing module is used for enabling the intelligent agents to work serially and / or concurrently according to an execution path determined by the workflow arrangement module by taking the enterprise specification document as a constraint, analyzing the user demand document to obtain a design document, planning a development task according to the design document, generating review opinions by reviewing the planned development task, and sending the review opinions to the intelligent agents according to the review opinions. And generating a code file based on the design document, the development task and the review opinion, and compiling the code file to obtain an executable file related to the supply chain bill system.