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.

Abstract: A compile method employs loop fusion to improve execution of a first loop and a second loop in a code sequence. A compile method initially peels one or more loop iterations from one of the loops to cause each of the loops to exhibit an equal number of loop iterations. Thereafter, an attempt is made to fuse the first and second loops, upon a condition that the resulting fused loop produces a same computational result as would be produced if the first loop and second loop were not fused. If the condition is not met, a loop reversal is performed on one of the loops and a fusing action is again attempted; if the attempted fusing action of the loops does not fulfill the condition, a loop reversal is performed on the other loop and a fusing action is again attempted. The combined loop peeling/loop reversal actions provide a higher probability of an ability to fuse the loops than otherwise.

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. The ball is capable of rotative movement between an open position and a closed position, with the passageway being aligned with the open end of the collection container when the ball is in an open position and being out of alignment with the open end of the collection container when the ball is in a closed position. The closure further includes a socket mountable on the open end of the collection container for accommodating rotative movement of the ball between an open position and a closed position. The socket includes an integral flexible seal which provides a perimetrical seat for the ball.

Abstract: A closure for sealing an open end of a specimen collection container from the environment is provided. The closure includes a socket mountable on an open end of the collection container for enclosing an interior region of the collection container. The closure further includes a generally spherical-shaped ball mounted within the socket which includes an environment-contacting surface, an opposed specimen-contacting surface and a passageway extending therethrough. The passageway is aligned with the open end of the collection container when the ball is in an open position. The environment-contacting surface is exposed to the external environment and the specimen-contacting surface is exposed to the interior region of the collection container when the ball is in a closed position. The ball further includes a piercable septum. The closure is capable of maintaining negative air pressure within collection container, with the piercable septum capable of being repeatedly pierced.

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 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.

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.