Abstract: A system and method to adaptively generate a program model. Source code of a program to be tested for code issues, and a set of predefined patterns to be tested in the source code are received. Feature configuration data is generated by determining a set of features corresponding to the received set of predefined patterns. A set of program models is identified by selecting, for each feature in the set of features, a program model from among a plurality of program models that is optimized for the feature. A dynamic program model is built based on the identified set of program models, the dynamic program model being adapted to resolve each of the patterns included in the received set of predefined patterns. And the source code is tested for code issues by extracting from the dynamic program model instances of each of the set of predefined patterns.

Abstract: Systems and methods to control pulse welding are disclosed. An example welding-type system includes: power conversion circuitry configured to convert input power to welding-type power; and control circuitry configured to control the power conversion circuitry to output the welding-type power in a plurality of pulse cycles, each pulse cycle comprising a background phase, a ramp up phase, a peak phase, and a ramp down phase. Controlling the power conversion circuitry involves: during the ramp up phase of the pulse cycles, controlling the power conversion circuitry in a current-controlled mode and switching to controlling the power conversion circuitry in a voltage-controlled mode when a peak transition voltage is reached; and during the ramp down phase of the pulse cycles, controlling the power conversion circuitry in a current-controlled mode and switching to controlling the power conversion circuitry in a voltage-controlled mode when a background transition voltage is reached.

Abstract: A method for providing a tool system for removing prosthetic cement from a bone of a patient undergoing a joint prosthesis replacement operation includes scanning the patient in the area of the joint prosthesis to obtain a profile of a line of intersection of a prosthetic cement/bone interface at its intersection with a longitudinally pre-selected plane; providing a guide member shaped as a stem of the prosthesis in a prosthetic cavity located in said prosthetic cement; and providing a cutting tool for forming a running cut through the prosthetic cement along the line of intersection. A stem of the cutting tool includes two protrusions along the length thereof. A guide member includes two grooves which each engage one of said protrusions. Grooves are profiled so the outer end of the stem is forced to follow a path corresponding to the profile of the line of intersection of the cement/bone interface.

Abstract: A system and method are provided for warning of an exposure of a second individual to an allergen by transfer from a first individual. Movements of the individuals are tracked so that allergen types and levels to which the individuals have been exposed can be obtained. Using knowledge of user sensitivity information to different allergens, it is determined if the first individual has been exposed to allergen types and levels which pose a risk to the second individual by GPS transfer from the first individual to the second individual. Thus, action can be taken when there is a determined risk of allergen transfer between individuals.

Abstract: A firing pin lock for firearms is provided. The firing pin lock is a single piece of resilient metal that includes a pocket for receiving the head of the firing pin to prevent inadvertent discharge of the firearm. The firing pin lock can be mounted laterally in the bolt carrier group and is deflected outwardly by the action of the hammer.

Abstract: Source code is managed through a source code management system and one or more static application security testing scanners check the source-code for vulnerabilities. The scanners generate vulnerability reports that are processed by a vulnerability tracker. The vulnerability tracker computes the scopes of identified vulnerabilities from the source-code and generates scope and offset fingerprints (e.g., hashes that uniquely identify vulnerabilities based on their surrounding scope). The fingerprints used for deduplication and vulnerability tracking. The vulnerability tracker may generate a refined vulnerability report that includes a set of deduplicated vulnerabilities with the corresponding fingerprints. The refined vulnerability report and related data may be stored in a vulnerability database for use in vulnerability management.

Abstract: A system or a method for analyzing a software project for vulnerabilities. The system extracts scopes of source code, each of which is a source code block that contains a definition of an entity. The system also receives a vulnerability report relating to the source code. The vulnerability report identifies a vulnerability at a line of the source code. The system identifies a subset of the scopes of source code that contains the line of source code where the vulnerability is identified. The system identifies, based on smatch values, a minimum scope among the subset of the scopes that contains the line of source code where the vulnerability is identified, and generates a scoped vulnerability report recording the minimum scope and the vulnerability.

Abstract: A system and method to adaptively generate a program model. Source code of a program to be tested for code issues, and a set of predefined patterns to be tested in the source code are received. Feature configuration data is generated by determining a set of features corresponding to the received set of predefined patterns. A set of program models is identified by selecting, for each feature in the set of features, a program model from among a plurality of program models that is optimized for the feature. A dynamic program model is built based on the identified set of program models, the dynamic program model being adapted to resolve each of the patterns included in the received set of predefined patterns. And the source code is tested for code issues by extracting from the dynamic program model instances of each of the set of predefined patterns.

Abstract: Source code is managed through a source code management system and one or more static application security testing scanners check the source-code for vulnerabilities. The scanners generate vulnerability reports that are processed by a vulnerability tracker. The vulnerability tracker computes the scopes of identified vulnerabilities from the source-code and generates scope and offset fingerprints (e.g., hashes that uniquely identify vulnerabilities based on their surrounding scope). The fingerprints used for deduplication and vulnerability tracking. The vulnerability tracker may generate a refined vulnerability report that includes a set of deduplicated vulnerabilities with the corresponding fingerprints. The refined vulnerability report and related data may be stored in a vulnerability database for use in vulnerability management.

Abstract: Systems and methods to control pulse welding are disclosed. An example welding-type system includes: power conversion circuitry configured to convert input power to welding-type power; and control circuitry configured to control the power conversion circuitry to output the welding-type power in a plurality of pulse cycles, each pulse cycle including background, ramp up, peak, and ramp down phases. Controlling the power conversion circuitry involves: during the background phase, controlling the power conversion circuitry in a voltage-controlled mode using a background voltage as a target voltage; during the ramp up phase, controlling the power conversion circuitry by changing the target voltage to a peak voltage; during the peak phase, controlling the power conversion circuitry using the peak voltage as the target voltage; and during the ramp down phase, controlling the power conversion circuitry by changing the target voltage to the background voltage.

Abstract: Methods and apparatus to control hot-start weld current for arc ignition are disclosed. An example welding-type power supply includes a power converter to output welding-type current, a temperature monitor to determine a temperature of an electrode using at least one of a temperature measurement or a thermal model, and a current controller to control a hot-start weld current output by the power converter based on the temperature of the electrode.

Abstract: Systems and methods to control pulse welding are disclosed. An example welding-type system includes: power conversion circuitry configured to convert input power to welding-type power; and control circuitry configured to control the power conversion circuitry to output the welding-type power in a plurality of pulse cycles, each pulse cycle including background, ramp up, peak, and ramp down phases. Controlling the power conversion circuitry involves: during the background phase, controlling the power conversion circuitry in a voltage-controlled mode using a background voltage as a target voltage; during the ramp up phase, controlling the power conversion circuitry by changing the target voltage to a peak voltage; during the peak phase, controlling the power conversion circuitry using the peak voltage as the target voltage; and during the ramp down phase, controlling the power conversion circuitry by changing the target voltage to the background voltage.

Abstract: Systems and methods to control pulse welding are disclosed. An example welding-type system includes: power conversion circuitry configured to convert input power to welding-type power; and control circuitry configured to control the power conversion circuitry to output the welding-type power in a plurality of pulse cycles, each pulse cycle comprising a background phase, a ramp up phase, a peak phase, and a ramp down phase. Controlling the power conversion circuitry involves: during the ramp up phase of the pulse cycles, controlling the power conversion circuitry in a current-controlled mode and switching to controlling the power conversion circuitry in a voltage-controlled mode when a peak transition voltage is reached; and during the ramp down phase of the pulse cycles, controlling the power conversion circuitry in a current-controlled mode and switching to controlling the power conversion circuitry in a voltage-controlled mode when a background transition voltage is reached.

Abstract: Systems and methods for clearing a short during a GMAW-P welding process are disclosed. A welding-type power supply may include a power conversion circuitry configured to convert input power to welding-type power, and a controller configured to control the power conversion circuitry based on a plurality of operating parameters. In examples, if the controller senses an occurrence of a short circuit during the welding cycle (e.g., during the background state), the voltage-controlled process can adjust an output current to increase in order to achieve one or more short state target voltage values. Once the short has cleared (as evidenced by a spike in voltage) and/or a desired short state target voltage value is achieved, the controller can again adjust the output current to decrease until the voltage has returned to a background voltage level.

Abstract: Systems and methods for initiating and/or terminating a GMAW-P welding process are disclosed. A welding-type power supply may include a power conversion circuitry configured to convert input power to welding-type power, and a controller configured to control the power conversion circuitry based on a plurality of operating parameters. In examples, the systems and methods disclosed herein implement pulsed cycles with one or more increased output parameters (such as current, pulse width, etc.) in order to jump start a pulsed welding cycle at a cold start (i.e. at initiation of a welding process), and thereby prevent a ball forming and remaining on the end of an electrode wire as the welding process continues. In a similar manner, a pulsed cycle with one or more increased parameters can be used to terminate the welding process, also preventing the ball forming and remaining on the electrode wire.

Abstract: Methods and apparatus to control advancement of a welding electrode wire for arc ignition are disclosed. An example electrode wire feeder includes a wire feed motor to advance electrode wire to a welding torch, a temperature monitor to determine a temperature of the electrode wire using at least one of a temperature measurement or a thermal model, and a motor controller to control a run-in wire speed based on a temperature of the electrode wire.

Abstract: Methods and apparatus to control hot-start weld current for arc ignition are disclosed. An example welding-type power supply includes a power converter to output welding-type current, a temperature monitor to determine a temperature of an electrode using at least one of a temperature measurement or a thermal model, and a current controller to control a hot-start weld current output by the power converter based on the temperature of the electrode.