Abstract: A wrought, nickel-molybdenum alloy containing 27.5 wt. % to 28.9 wt. % molybdenum, 0.1 wt. % to 5 wt. % iron and 5-0.5*Fe to 7-0.5*Fe wt. % chromium has improved fabricability and excellent corrosion resistance in reducing acids.

Abstract: A wrought nickel-molybdenum alloy containing 27.22 wt. % molybdenum, 4.73 wt. % iron, 0.47 wt. % chromium, 0.67 wt. % manganese, and 0.25 wt. % aluminum, and the balance nickel, as well as this alloy plus or minus the manufacturing variances typically encountered by each element during air melting, vacuum melting, and electro-slag remelting, have improved resistance to thermally-induced embrittlement over 100 hours at 1200° F.

Abstract: A nickel chromium alloy containing 16.48 to 20.57 wt. % chromium, 10.46 to 13.10 wt. % molybdenum, 0.03 to 1.67 wt. % iron, 0.24 to 0.98 wt. % manganese, 0.02 to 0.43 wt. % silicon, 0.08 to 0.38 wt. % aluminum, 0.002 to 0.047 wt. % carbon, up to 0.006 wt. % boron and the balance nickel has sufficiently high thermal stability for service in the 750 to 1500° F. temperature range, and a sufficiently high corrosion resistance to tolerate hydrochloric acid-based and sulfuric-acid-based condensates for short periods of time after the alloy has been subjected to a homogenization treatment at a temperature of 2050° F. and hot worked at a start temperature of 2050° F.

Abstract: A partitioning technique is applied to divide input code into different portions. Different partitioning techniques can be applied in order to optimize the portioning of the code to account for various features of the code, such as code dependencies. Once partitioned, the code analysis tasks execute in parallel on the code portions. In this way, improved code analysis performance is obtained. Moreover, the addition of new code analysis tasks may not impact overall analysis performance as the partitioning can help to offset added or unknown analysis latency of new code analysis tasks.

Abstract: A partitioning technique is applied to divide input code into different portions. Different partitioning techniques can be applied in order to optimize the portioning of the code to account for various features of the code, such as code dependencies. Once partitioned, the code analysis tasks execute in parallel on the code portions. In this way, improved code analysis performance is obtained. Moreover, the addition of new code analysis tasks may not impact overall analysis performance as the partitioning can help to offset added or unknown analysis latency of new code analysis tasks.

Abstract: Security vulnerability analysis may be performed using policy inference. Application code may have operations that are labeled according to the respective functions that they perform. Some operations may be labeled according to a knowledge database of known operations while others may be inferred through similarity to known operations. The knowledge database may be associated with libraries of programmatic interfaces. Once components of the application code are labeled, a vulnerability database may be that identifies potential vulnerabilities based on data sources, data sinks and threat mitigation operations. Using the labeled operations, one or more potential vulnerabilities may be identified based on labeled data sources and data sinks. The application may then be evaluated for potential security threats based on the identified potential vulnerabilities.

Abstract: Techniques for determining buggy code are described. An encoder/decoder-based (e.g., transformer-based) model approach is described. In some embodiments, a service receives request to perform transformer-based bug fixing on code, performs bug fixing inference to the code by applying a trained encoder/decoder-based model, and reports out a result of the inference, wherein the output includes an indication of a location of a potential edit to be made in the code and the potential edit in the code.

Abstract: Techniques for visualizing dependent relationships in computer program analysis trace elements are described. A code analysis service analyzes computer code associated with a software application for at least one of errors or policy violations. The service outputs a trace log identifying a path within the computer code that results in an error or policy violation. The trace log includes a set of trace elements each corresponding to a line of the computer code. The output is displayed as a tree data structure including nodes. The nodes may include indentations indicating dependent relationships between and among variables initialized at lines in the computer code corresponding to the nodes. Alternatively, the nodes may be arranged as a hierarchy with edges connecting adjacent nodes, and nodes at different levels indicating dependent relationships. The tree data structure may include annotations providing additional contextual information about the actions performed at each node.

Abstract: In a method for heat treating alloy compositions within UNS N07028 the alloy composition is heated at a temperature between 1550° F. and 1750° F. for at least two hours, and then heated at a lower temperature between 1300° F. and 1550° F. for at least two hours. The alloy composition may be heated at a temperature between 1850° F. and 1950° F. for at least one hour before heating the alloy composition at a temperature between 1550° F. and 1750° F.

Abstract: Techniques for performing compile-time checks of source code using static analysis are described herein. One or more application programming interface calls to a remote computing service provider are detected in a set of source code listings using static analysis, and properties of each call are checked against a user-defined model containing rules defining incorrect behavior. If incorrect behavior is detected, a visualization is presented containing information about the incorrect behavior.

Abstract: In a method for heat treating alloy compositions within UNS N07028 the alloy composition is heated at a temperature between 1550° F. and 1750° F. for at least two hours, and then heated at a lower temperature between 1300° F. and 1550° F. for at least two hours. The alloy composition may be heated at a temperature between 1850° F. and 1950° F. for at least one hour before heating the alloy composition at a temperature between 1550° F. and 1750° F.

Abstract: Ni—Cr—Co—Mo—Al based alloys are disclosed which contain 15 to 20 wt. % chromium, 9.5 to 20 wt. % cobalt, 7.25 to 10 wt. % molybdenum, 2.72 to 3.89 wt. % aluminum, certain minor elemental additions, along with typical impurities, a tolerance for up to 10.5 wt. % iron, and a balance of nickel. These alloys are readily fabricable, have high creep strength, good thermal stability, and excellent oxidation resistance up to as high as 2100° F. (1149° C.). This combination of properties is useful for a variety of gas turbine engine components, including, for example, combustors.

Abstract: Ni—Cr—Co—Mo—Al based alloys are disclosed which contain 15 to 20 wt. % chromium, 9.5 to 20 wt. % cobalt, 7.25 to 10 wt. % molybdenum, 2.72 to 3.89 wt. % aluminum, certain minor elemental additions, along with typical impurities, a tolerance for up to 10.5 wt. % iron, and a balance of nickel. These alloys are readily fabricable, have high creep strength, good thermal stability, and excellent oxidation resistance up to as high as 2100° F. (1149° C.). This combination of properties is useful for a variety of gas turbine engine components, including, for example, combustors.

Abstract: Ni—Cr—Co—Mo—Al based alloys are disclosed which contain 15 to 20 wt. % chromium, 9.5 to 20 wt. % cobalt, 7.25 to 10 wt. % molybdenum, 2.72 to 3.89 wt. % aluminum, certain minor elemental additions, along with typical impurities, a tolerance for up to 10.5 wt. % iron, and a balance of nickel. These alloys are readily fabricable, have high creep strength, and excellent oxidation resistance up to as high as 2100° F. (1149° C.). This combination of properties is useful for a variety of gas turbine engine components, including, for example, combustors.

Abstract: Various technologies related to control flow integrity checking are described herein and can be used to greatly improve software security. During static analysis, a canonical control flow graph can be built. Execution of a program can be interrupted at runtime, and the call stack can be observed to verify control flow integrity of the program using the canonical control flow graph. Attacks using stack tampering can be avoided, regardless of how the stack tampering is achieved. Non-invasive techniques can be used, making the technologies applicable in situations where source code is not available. Real-time operating system protection can be supported.

Abstract: Ni—Cr—Co—Mo—Al based alloys are disclosed which contain 15 to 20 wt. % chromium, 9.5 to 20 wt. % cobalt, 7.25 to 10 wt. % molybdenum, 2.72 to 3.89 wt. % aluminum, certain minor elemental additions, along with typical impurities, a tolerance for up to 10.5 wt. % iron, and a balance of nickel. These alloys are readily fabricable, have high creep strength, and excellent oxidation resistance up to as high as 2100° F. (1149° C.). This combination of properties is useful for a variety of gas turbine engine components, including, for example, combustors.

Abstract: Various technologies related to control flow integrity checking are described herein and can be used to greatly improve software security. During static analysis, a canonical control flow graph can be built. Execution of a program can be interrupted at runtime, and the call stack can be observed to verify control flow integrity of the program using the canonical control flow graph. Attacks using stack tampering can be avoided, regardless of how the stack tampering is achieved. Non-invasive techniques can be used, making the technologies applicable in situations where source code is not available. Real-time operating system protection can be supported.

Abstract: Various technologies related to control flow integrity checking are described herein and can be used to greatly improve software security. During static analysis, a canonical control flow graph can be built. Execution of a program can be interrupted at runtime, and the call stack can be observed to verify control flow integrity of the program using the canonical control flow graph. Attacks using stack tampering can be avoided, regardless of how the stack tampering is achieved. Non-invasive techniques can be used, making the technologies applicable in situations where source code is not available. Real-time operating system protection can be supported.

Abstract: Various technologies related to control flow integrity checking are described herein and can be used to greatly improve software security. During static analysis, a canonical control flow graph can be built. Execution of a program can be interrupted at runtime, and the call stack can be observed to verify control flow integrity of the program using the canonical control flow graph. Attacks using stack tampering can be avoided, regardless of how the stack tampering is achieved. Non-invasive techniques can be used, making the technologies applicable in situations where source code is not available. Real-time operating system protection can be supported.

Abstract: Ni—Cr—Co—Mo—Al based alloys are disclosed which contain 15 to 20 wt. % chromium, 9.5 to 20 wt. % cobalt, 7.25 to 10 wt. % molybdenum, 2.72 to 3.9 wt. % aluminum, along with typical impurities, a tolerance for up to 10.5 wt. % iron, minor element additions and a balance of nickel. These alloys are readily fabricable, have high creep strength, and excellent oxidation resistance up to as high as 2100° F. (1149° C.). This combination of properties is useful for a variety of gas turbine engine components, including, for example, combustors.