Abstract: Systems, methods and articles of manufacture for process-based domain isolation are discussed herein. A method embodiment includes determining domains associated with a plurality of content areas and rendering content areas associated with different domains into separate processes, wherein each domain from the one or more domains is associated with a separate process that communicates with its respective individual domain. The method further comprises identifying browsing instances including content areas that can script each other, identifying site instances including content areas sharing a common domain, and controlling communication between content areas across the identified site instances within each browsing instance.

Abstract: A method, computer program product, and system are provided for reducing errors in software code. For example, an embodiment of the method includes defining a range of values for one or more inputs to the software code and evaluating non-conditional and conditional statements in the software code with one or more values from the range of values until a program misbehavior occurs or substantially all statements in the software code have been evaluated. When evaluating the conditional statements, true and false conditions of the statement can be explored using the range of values. For instance, a sub-set of the range of values can be used to evaluate the conditional statement as true and another sub-set of the range of values can be used to evaluate the conditional statement as false. By exploring both true and false scenarios, wide code coverage is possible.

Abstract: A method, computer program product, and system are provided to explore branches of a conditional statement in software code. For example, an embodiment of the method includes selecting a first branch of the conditional statement to evaluate, placing a second branch of the conditional statement in a pending branch list, storing checkpoint information on a program state for the conditional statement associated with the second branch, and evaluating the second branch after an evaluation of the first branch. The evaluation of the second branch is based on the checkpoint information. By exploring the first and second branches of the conditional statement (e.g., true and false conditions), wide coverage is possible in the analysis of software code.