Abstract: Implementations of the disclosure provide systems and methods for identifying, in view of a first control flow graph associated with a first code fragment and a second control flow graph associated with a second code fragment, a first set of sections of the first code fragment and a second set of sections of the second code fragment, such that each section of the first set of sections has a corresponding section of the second set of sections. A first section of the first set of sections is identified, where the first section is not syntactically equivalent to a corresponding second section of the second set of sections. Responsive to determining that the first section is not syntactically equivalent to the corresponding second section, it is found that the first code fragment is not semantically equivalent to the second code fragment.

Abstract: Implementations of the disclosure provide systems and methods for identifying, in view of a first control flow graph associated with a first code fragment and a second control flow graph associated with a second code fragment, a first set of sections of the first code fragment and a second set of sections of the second code fragment, such that each section of the first set of sections has a corresponding section of the second set of sections. A first section of the first set of sections is identified, where the first section is not syntactically equivalent to a corresponding second section of the second set of sections. Responsive to determining that the first section is not syntactically equivalent to the corresponding second section, it is found that the first code fragment is not semantically equivalent to the second code fragment.

Abstract: Disclosed is a starter member to which a mercury-absorbing layer is applied and which can be used in low-pressure mercury discharge lamps. A starter member for a low-pressure amalgam discharge lamp comprises a mercury-absorbing layer on a base. A coating layer which is provided on the mercury-absorbing layer has a getter effect and prevents the material of the mercury-absorbing layer from coming off.

Abstract: Disclosed is a starter member to which a mercury-absorbing layer is applied and which can be used in low-pressure mercury discharge lamps. A starter member for a low-pressure amalgam discharge lamp comprises a mercury-absorbing layer on a base. A coating layer which is provided on the mercury-absorbing layer has a getter effect and prevents the material of the mercury-absorbing layer from coming off.

Abstract: The invention relates to a low-pressure discharge lamp comprising a glass discharge vessel (1) which is substantially tubular in form and which is closed in a gas-tight manner on the ends thereof, a filling consisting of an inert gas mixture and quicksilver, in addition to an optional luminous coating on the inner wall of the discharge vessel (1). Two current supply inlets are respectively melted into the two ends of the discharge vessel (1), with a helical electrode secured thereto (5). The invention is characterized in that in order to increase the switching resistance of the lamp in a cold start operation, at least one other electrode (7,8) made of a conductive material is arranged in the region between the helical electrode (5) and the connecting end of the discharge vessel (1) and one end of said other electrode (7, 8) is electrically connected to one of the two current supply inlets (3,4).

Abstract: A low-pressure discharge lamp includes a glass discharge vessel (1) which is substantially tubular in form and which is closed in a gas-tight manner on the ends thereof, a filling consisting of an inert gas mixture and quicksilver, in addition to an optional luminous coating on the inner wall of the discharge vessel (1). Two current supply inlets are respectively melted into the two ends of the discharge vessel (1), with a helical electrode secured thereto (5). The invention is characterized in that in order to increase the switching resistance of the lamp in a cold start operation, at least one other electrode (7,8) made of a conductive material is arranged in the region between the helical electrode (5) and the connecting end of the discharge vessel (1) and one end of the other electrode (7, 8) is electrically connected to one of the two current supply inlets (3, 4).