International Business Machines Corporation

Shai Doron

Vitali Sokhin

Hernan Theiler

Wesam Saleem Ibraheem

Hagai Hadad

Fady Copty

Karen Frida Yorav

Ziv Nevo

Tom Kolan

Gil Eliezer Shurek

Anatoly Koyfman

Hillel Mendelson

Reda Igbaria

Adi Sosnovich

A method, computer system, and a computer program product for determining a cluster connectivity is provided. The present invention may first include receiving as input a connectivity graph. The present invention may then include generating a minimal list of firewall rules from the received connectivity graph by iteratively merging firewall rules with commonality of connectivity attribute.

Inferring cloud network connectivity as a minimal list of firewall rules

An example system includes a processor to receive a source code sample to be classified. The processor can execute a hybrid code analysis to generate an internal analysis state. The processor can extract features from the internal analysis state via a trained machine learning model modified using transfer learning. The processor can generate a label based on the extracted features via a machine learning classifier model trained on internal analysis states of hybrid code analyses.

Predicting code vulnerabilities using machine learning classifier models trained on internal analysis states

Embodiments relate to a system, program product, and method for random generation of recoverable errors in the generated instruction stream for post-silicon validation testing. The intentional raising and handling of exceptions in post-silicon validation exercisers randomly creates recoverable errors in a generated instruction test stream. Multiple exceptions may be raised either in a single instruction or in multiple instructions, while the present instruction is permitted to fully execute. The errors responsible for raising the exceptions are automatically repaired.

Recoverable exceptions generation and handling for post-silicon validation

A method, computer program product, and computer system for physical memory allocation of a computer system, the method including collecting computer system architecture specifications, a configuration, and user requirements, identifying a plurality of memory intervals to be allocated, based on the computer system architecture specification, the configuration, and the user requirements, grouping memory intervals into a plurality of color groups, wherein each memory interval within each of the plurality of color groups comprise identical memory attributes, dividing memory into sets of memory segments, wherein each set of memory segment is assigned a color of the plurality of color groups, allocating a memory interval of the plurality of memory intervals within the set of memory segments of corresponding color, and selecting a page size for a translation of a memory interval of the plurality of memory intervals, depending upon the allocation of the memory interval and the sets of memory segments.

Attribute driven memory allocation

A method for generating address translation stimuli for post-silicon functional validation is provided. The method includes determining a plurality of memory configurations based on a plurality of translation tables used by a stimuli generator to solve a plurality of test templates, providing a test template from the plurality of test templates, selecting a memory configuration from the plurality of memory configurations based on the test template, a memory variable, and a set of testing parameters, identifying a translation table from the plurality of translation tables based on the test template, allocating a memory space for the translation table, and executing the test template on the stimuli generator based on the translation table, the memory space, and the set of testing parameters.

Address translation stimuli generation for post-silicon functional validation

Growing community of inventors

Kibuz Meggido, Israel

Shai Doron