Abstract: The present invention provides a method, a system, and computer readable media for reconciling a web-server session state with a client web-browser state. The method involves responding to an nth request, by reading an mth session-state identifier included in the request, where n>m?1. The server then assumes an mth session state associated with the mth session state identifier.

Abstract: A method of performing resource analysis on one or more cards of a computer system is described and disclosed. In an embodiment, the method includes identifying one or more affected hardware identifiers. Each affected hardware identifier corresponds to any of the cards. Configuration information of the computer system is gathered. Moreover, the configuration information is used to analyze the affected hardware identifiers to identify any affected resource of the computer system. The identification of any affected resource is independent of a system-wide hardware scan of the computer system. Furthermore, one of a plurality of severity levels is assigned to each identified affected resource based on predetermined criteria. The severity levels include a low severity level, a medium severity level, and a high severity level. Each severity level represents degree of impact to the computer system if functionality of the identified affected resource became unavailable.

Abstract: A system that automatically detects logical errors when compiling a program. The system detects such logical errors as a signal handler routine modifying the errno global variable, a signal handler routine calling a non-reentrant library function, a signal handler routine calling a non-reentrant user function, and a signal handler routine calling a memory allocation function without first disabling all other signal handlers. The system also detects using "/n" at the end of a string.

Abstract: A system that automatically detects logical errors when compiling a program. The system detects such logical errors as calling a virtual function of a class passed into a function by value; virtual functions called from constructors or destructors; multiple definitions of classes, enums, or typedefs; multiple declarations of an object; mixing standard C I/O routines with C++ routines; a member function or data of a class hiding inherited member function or data; problems with the order of dynamic initialization; or failing to initialize non-static and non-class data members. The system also will suggest the use of the contact attribute for a member function that does not modify data members and suggest the use of const for parameters of functions when the parameter is not modified.