Abstract: In general, in one aspect, the invention relates to a method for static analysis. The method includes: obtaining source code; constructing a control flow graph (CFG) corresponding to the source code, by identifying control structures within the source code, creating a set of graph nodes of the CFG, and creating a set of directed graph edges of the CFG connecting the set of graph nodes; assigning a first Boolean flow value to a selected node of the set of graph nodes; backward traversing the CFG from the selected node to a target node; computing, by a computer processor and while backward traversing the CFG, disjoint predicate expressions representing flow values at the set of directed graph edges; computing, based on the disjoint predicate expressions, a resulting disjoint predicate expression; and identifying, based on the resulting disjoint predicate expression, a potential program property in the source code.

Abstract: Inertial sensor having a body with first and second cavities on opposite sides thereof, a sensing element in the first cavity, electronic circuitry in the second cavity, electrical conductors interconnecting the sensing element and the circuitry, and leads connected electrically to the circuitry and extending from the body for mounting the sensor and making connections with the circuitry.

Abstract: A patterning device, including alignment targets having alignment features formed from a plurality of diffractive elements, each diffractive element including an absorber stack and a multi-layered reflector stack is provided. The diffractive elements are configured to enhance a pre-determined diffraction order used for pre-alignment and to diffract light in a pre-determined direction of a pre-alignment system when illuminated with light of a wavelength used for the pre-alignment. The diffractive elements may occupy at least half of an area of each alignment feature. The diffractive elements may be configured to enhance first or higher order diffractions, while substantially reducing zeroth diffraction orders and specular reflection when illuminated with a wavelength used for reticle prealignment. The dimensions of each diffractive element may be a function of a diffraction grating period of each alignment feature.

Abstract: Disclosed are systems and methods for time differential reticle inspection. Contamination is detected by, for example, determining a difference between a first signature of at least a portion of a reticle and a second signature, produced subsequent to the first signature, of the portion of the reticle.

Abstract: A method for overflow detection using partial evaluations. The method includes obtaining a section of code from a source code file stored on a storage device, analyzing the section of code to identify a buffer with an index, determining a plurality of statements that are statically-computable and dependent on the index of the buffer, and generating a code segment including the plurality of statements. The method further includes replacing an access statement of the plurality of statements with a conditional statement returning true when bounds of the buffer are exceeded, where the access statement uses the index to access the buffer, adding an unconditional statement returning false to the code segment, and executing the code segment on a computer processor to obtain a determination of whether the bounds of the buffer are exceeded.

Abstract: In general, in one aspect, the invention relates to a method for identifying program properties in source code. The method includes: identifying a set of program objects corresponding to a potential program property within the source code; identifying a function associated with the set of program objects in the source code; identifying an input and an output of the function in the source code; creating a value flow graph by: creating a function input node representing the input; creating a function output node representing the output; identifying value flow functions, where each value flow function defines a conditional dependency between a pair of graph nodes, and creating, based on the value flow functions, directed graph edges modeling a potential flow of data through the value flow graph; and identifying a feasible path in the value flow graph depicting an occurrence of the potential program property in the source code.

Abstract: A high pressure liquid chromatography (HPLC) capillary column device, system and method for processing a HPLC sample with a cartridge housing a packed capillary column; at least one inlet connection to the capillary column for a sample fluid; and at least one outlet connection from the capillary column for the sample fluid. The outlet connection is able to accommodate either a spray tip for atomizing the sample fluid or a transport tube for transporting the sample fluid from a spray tip column to a spray tip. Inlet connections enable supply of electrical power to the capillary column through electrical connections disposed within the cartridge housing; and gas for evaporating the sample liquid is supplied to at least one outlet connection from the capillary column for the sample fluid through a gas supply line within the cartridge housing. The temperature of the sample liquid can be controlled through a heat connection.

Abstract: A band (1) comprising, on its inner surface, an irregular array of tacky areas or protrusions (6) that dissipate foci of stress in the skin (of the abdominal wall or other body areas). Wearing such a band around the abdomen is intended to help prevent the occurrence of stretch marks.

Abstract: In general, in one aspect, the invention relates to a method for performing points-to analysis by generating a value flow graph for source code. The method steps include: initializing the value flow graph including a set of memory objects and a set of edges based on Base and Assignment instructions, where the set of edges represents inclusion constraints between the set of memory objects and a set of pointer variables; determining a pointed-to-by set including at least one pointer variable of the set of pointer variables; updating the value flow graph by introducing a flow edge based on an indirect reference, where the flow edge is related to a memory object of the set of memory objects that is added to a working list; updating the pointed-to-by set based on the memory object in the working list; and analyzing the source code using the pointed-to-by set.

Abstract: In general, in one aspect, the invention relates to a method for static analysis. The method includes: obtaining source code; constructing a control flow graph (CFG) corresponding to the source code, by identifying control structures within the source code, creating a set of graph nodes of the CFG, and creating a set of directed graph edges of the CFG connecting the set of graph nodes; assigning a first Boolean flow value to a selected node of the set of graph nodes; backward traversing the CFG from the selected node to a target node; computing, by a computer processor and while backward traversing the CFG, disjoint predicate expressions representing flow values at the set of directed graph edges; computing, based on the disjoint predicate expressions, a resulting disjoint predicate expression; and identifying, based on the resulting disjoint predicate expression, a potential program property in the source code.

Abstract: In general, in one aspect, the invention relates to a method for performing points-to analysis by generating a value flow graph for source code. The method steps include: initializing the value flow graph including a set of memory objects and a set of edges based on Base and Assignment instructions, where the set of edges represents inclusion constraints between the set of memory objects and a set of pointer variables; determining a pointed-to-by set including at least one pointer variable of the set of pointer variables; updating the value flow graph by introducing a flow edge based on an indirect reference, where the flow edge is related to a memory object of the set of memory objects that is added to a working list; updating the pointed-to-by set based on the memory object in the working list; and analyzing the source code using the pointed-to-by set.

Abstract: In general, in one aspect, the invention relates to a method for identifying program properties in source code. The method includes: identifying a set of program objects corresponding to a potential program property within the source code; identifying a function associated with the set of program objects in the source code; identifying an input and an output of the function in the source code; creating a value flow graph by: creating a function input node representing the input; creating a function output node representing the output; identifying value flow functions, where each value flow function defines a conditional dependency between a pair of graph nodes, and creating, based on the value flow functions, directed graph edges modeling a potential flow of data through the value flow graph; and identifying a feasible path in the value flow graph depicting an occurrence of the potential program property in the source code.

Abstract: Disclosed are apparatuses, methods, and lithographic systems for holographic mask inspection. A holographic mask inspection system (300, 600, 700) includes an illumination source (330), a spatial filter (350), and an image sensor (380). The illumination source being configured to illuminate a radiation beam (331) onto a target portion of a mask (310). The spatial filter (350) being arranged in a Fourier transform pupil plane of an optical system (390, 610, 710), where the spatial filter receives at least a portion of a reflected radiation beam (311) from the target portion of the mask. The optical system being arranged to combine (360, 660, 740) the portion of the reflected radiation beam (311) with a reference radiation beam (361, 331) to generate a combined radiation beam. Further, the image sensor (380) being configured to capture holographic image of the combined radiation beam. The image may contain one or more mask defects.

Abstract: A method for demand-driven symbolic analysis involves obtaining a section of code comprising an instruction from a source code file and determining a critical variable in the section of code and data dependencies related to the critical variable. The method further involves iteratively computing a symbolic value representing a range of values of the critical variable according to the data dependencies, determining a set of control predicates relevant to the critical variable at the instruction, refining the range of values according to the set of control predicates to generate a second range of values for the symbolic value, and reporting an error when the second range of values exceeds a predetermined value.

Abstract: A method of cutting an elastomeric strip of material is described. The method includes the step of advancing a strip of material 2 a predetermined distance by a conveyor means 30. Resisting reverse movement of the strip 2; tensioning the strip 2; and cutting simultaneously across the entire width of the strip 2 through the thickness of the strip 2 on a skive angle of 45 degrees or less preferably about 28 degrees to form a cut length of material thereby relaxing the tension in the strip as the skive cut ends 3 and 4 move apart.

Abstract: A method and apparatus for making a preassembly of built in sealant useful in tire manufacturing. The method of making the preassembled sealant includes extruding a center strip and at least two axially outer strips of a sealant onto a first conveyor belt; wherein the center strip and the axially outer strips are in a side by side adjacent relationship. Conveying the center strip onto a second conveyor while the axially outer strips are conveyed on the first conveyor belt towards the end of the belt, wherein the center strip has two outer edges, wherein a divider strip is applied to each other edge in a continuous manner, wherein the center strip is then conveyed onto the axially outer strips and then stitched together forming a preassembled component.

Abstract: Disclosed are systems and methods for time differential reticle inspection. Contamination is detected by, for example, determining a difference between a first signature of at least a portion of a reticle and a second signature, produced subsequent to the first signature, of the portion of the reticle.

Abstract: A method and systems for reticle inspection. The method includes coherently illuminating surfaces of an inspection reticle and a reference reticle, applying a Fourier transform to scattered light from the illuminated surfaces, shifting the phase of the transformed light from the reference reticle such that a phase difference between the transformed light from the inspection reticle and the transformed light from the reference reticle is 180 degrees, combining the transformed light as an image subtraction, applying an inverse Fourier transform to the combined light, and detecting the combined light at a detector. An optical path length difference between two optical paths from the illumination source to the detector is less than a coherence length of the illumination source. The image detected by the detector represents a difference in amplitude and phase distributions of the reticles allowing foreign particles, defects, or the like, to be easily distinguished.

Abstract: A system and method for delivering EGR to an internal combustion engine is presented. The system can reduce system cost and lower system complexity.

Abstract: Disclosed are systems and methods for object inspection, in particular for inspection of reticles used in a lithography process. The method includes interferometrically combining a reference radiation beam with a probe radiation beam, and storing their complex field images. The complex field image of one object is then compared with that of a reference object to determine the differences. The systems and methods have particular utility in the inspection of a reticle for defects.