Abstract: Methods and apparatus relating to provision of core tightly coupled lockstep for high functional safety are described. In an embodiment, a master core, coupled to a slave core, executes one or more operations to support Advanced Driver Assistance Systems (ADA) or autonomous driving. The master core and the slave core receive the same input signal and core tightly couple logic causes generation of a signal in response to comparison of a first output from the master core and a second output from the slave core. The generated signal causes an interruption of the one or more operations in response to a mismatch between the first output and the second output. Other embodiments are also disclosed and claimed.

Abstract: Methods and apparatus relating to provision of core tightly coupled lockstep for high functional safety are described. In an embodiment, a master core, coupled to a slave core, executes one or more operations to support Advanced Driver Assistance Systems (ADA) or autonomous driving. The master core and the slave core receive the same input signal and core tightly couple logic causes generation of a signal in response to comparison of a first output from the master core and a second output from the slave core. The generated signal causes an interruption of the one or more operations in response to a mismatch between the first output and the second output. Other embodiments are also disclosed and claimed.

Abstract: A horse stirrup which also functions as a mounting aid by providing, in the same assembly, a foot supporting platform for riding, as well as a convenient, lower level platform for mounting. The mounting platform, and related structure, also function, in cooperation with the riding platform, to reduce the exposure of the rider to stirrup foot lock in case of a fall.

Abstract: A method and system of detecting vulnerabilities in source code. Source code is parsed into an intermediate representation. Models (e.g., in the form of lattices) are derived for the variables in the code and for the variables and/or expressions used in conjunction with routine calls. The models are then analyzed in conjunction with pre-specified rules about the routines to determine if the routine call posses one or more of pre-selected vulnerabilities.

Abstract: Methods and systems of detecting vulnerabilities in source code using inter-procedural analysis of source code. Vulnerabilities in a pre-existing source code listing are detected. The variables in the source code listing are modeled in the context of at least one of the inherent control flow and inherent data flow. The variable models are used to create models of arguments to routine calls in the source code listing. The source code listing is modeled with a call graph to represent routine call interactions expressed in the source code listing. The arguments to routine calls are modeled to account for inter-procedural effects and dependencies on the arguments as expressed in the source code listing.

Abstract: A horse stirrup which also functions as a mounting aid by providing, in the same assembly, a foot supporting platform for riding, as well as a convenient, lower level platform for mounting. The mounting platform, and related structure, also function, in cooperation with the riding platform, to reduce the exposure of the rider to stirrup foot lock in case of a fall.

Abstract: A stirrup assembly for aiding a rider when mounting a horse provides a stirrup assembly wherein part or all of the side of a stirrup can be rotated down into a locked horizontal position to become a step. The act of pulling down the movable side part compresses a strong return spring. When the movable side part is fully down, a latch is set which keeps it from returning. What was part of the stirrup side can now be used as a step for mounting and is quickly returned to its original upright position by the return spring when the rider steps on the latch release.

Abstract: A method and system of detecting vulnerabilities in source code. Source code is parsed into an intermediate representation. Models (e.g., in the form of lattices) are derived for the variables in the code and for the variables and/or expressions used in conjunction with routine calls. The models are then analyzed in conjunction with pre-specified rules about the routines to determine if the routine call posses one or more of pre-selected vulnerabilities.

Abstract: A method and system of detecting vulnerabilities in source code. Source code is parsed into an intermediate representation. Models are derived for the code and the models are then analyzed in conjunction with pre-specified rules about the routines to determine if the routine call posses one or more of pre-selected vulnerabilities.

Abstract: A method and system of detecting vulnerabilities in source code. Source code is parsed into an intermediate representation. Models are derived for the code and the models are then analyzed in conjunction with pre-specified rules about the routines to determine if the routines posses one or more of pre-selected vulnerabilities.

Abstract: A method and system of detecting vulnerabilities in source code. Source code is parsed into an intermediate representation. Models (e.g., in the form of lattices) are derived for the variables in the code and for the variables and/or expressions used in conjunction with routine calls. The models are then analyzed in conjunction with pre-specified rules about the routines to determine if the routine call posses one or more of pre-selected vulnerabilities.

Abstract: Methods and systems of detecting vulnerabilities in source code using inter-procedural analysis of source code. Vulnerabilities in a pre-existing source code listing are detected. The variables in the source code listing are modeled in the context of at least one of the inherent control flow and inherent data flow. The variable models are used to create models of arguments to routine calls in the source code listing. The source code listing is modeled with a call graph to represent routine call interactions expressed in the source code listing. The arguments to routine calls are modeled to account for inter-procedural effects and dependencies on the arguments as expressed in the source code listing.

Abstract: A method and system of detecting vulnerabilities in source code. Source code is parsed into an intermediate representation. Models (e.g., in the form of lattices) are derived for the variables in the code and for the variables and/or expressions used in conjunction with routine calls. The models are then analyzed in conjunction with pre-specified rules about the routines to determine if the routine call posses one or more of pre-selected vulnerabilities.

Abstract: A method and system of detecting vulnerabilities in source code. Source code is parsed into an intermediate representation. Models (e.g., in the form of lattices) are derived for the variables in the code and for the variables and/or expressions used in conjunction with routine calls. The models are then analyzed in conjunction with pre-specified rules about the routines to determine if the routine call posses one or more of pre-selected vulnerabilities.

Abstract: A method and system of detecting vulnerabilities in source code. Source code is parsed into an intermediate representation. Models are derived for the code and the models are then analyzed in conjunction with pre-specified rules about the routines to determine if the routine call posses one or more of pre-selected vulnerabilities.

Abstract: A method and system of detecting vulnerabilities in source code. Source code is parsed into an intermediate representation. Models (e.g., in the form of lattices) are derived for the variables in the code and for the variables and/or expressions used in conjunction with routine calls. The models are then analyzed in conjunction with pre-specified rules about the routines to determine if the routine call posses one or more of pre-selected vulnerabilities.

Abstract: A method and system of detecting vulnerabilities in source code. Source code is parsed into an intermediate representation. Models are derived for the code and the models are then analyzed in conjunction with pre-specified rules about the routines to determine if the routines posses one or more of pre-selected vulnerabilities.

Abstract: A closure for sealing the open end of a specimen collection container from the environment is provided. The closure includes a socket mountable on the open end of the collection container for enclosing an interior region of the collection container. The socket includes a ball receiving internal surface having a protrusion thereon. The closure further includes a generally spherical-shaped ball mounted within the socket and at least partially enclosed by the socket. The ball is capable of rotative movement within the socket between an open position and a closed position. The ball includes an external surface capable of interference engagement with the protrusion of the socket upon rotative movement of the ball between the open position and the closed position.

Abstract: A closure for sealing the open end of a specimen collection container from the environment is provided. The closure includes a generally spherical-shaped ball having a passageway extending therethrough, with the ball including an axle permitting rotative movement of the ball thereabout between an open position and a closed position. The closure further includes a socket mounted on the open end of the collection container, with the socket including a ball receiving internal surface having an axle-support for receiving the axle of the ball for accommodating rotative movement of the ball therein. The passageway of the ball is aligned with the open end of said collection tube when the ball is in an open position and is out of alignment with the open end of the collection container when the ball is in a closed position.

Abstract: A closure for sealing the open end of a specimen collection container from the environment is provided. The closure includes a generally spherical-shaped ball having a passageway extending therethrough, with the ball including an axle permitting rotative movement of the ball thereabout between an open position and a closed position. The closure further includes a socket mounted on the open end of the collection container, with the socket including a ball receiving internal surface having an axle-support for receiving the axle of the ball for accommodating rotative movement of the ball therein. The passageway of the ball is aligned with the open end of said collection container when the ball is in an open position and is out of alignment with the open end of the collection container when the ball is in a closed position. The axle-support of the socket and the axle of the ball are parallel and eccentric with respect to each other.