Abstract: A method of creating constraints for use with object code insertion technology can include deriving an A-representation and a B-representation of values produced by execution of instructions of a portion of object code, wherein prior to object code insertion the A-representation and the B-representation of a value produced by same instruction(s) are equivalent. The method further can include identifying equalities between A-representations of values produced by different instructions and determining constraints from the identified equalities using B-representations, where the constraints are observed after object code insertion.

Abstract: Light field image processing includes generating a projected image using a light source, wherein the projected image includes a sharp feature, capturing a first light field image of a scene including the projected image, and determining, using a circuit block, a distance for the sharp feature from the first light field image.

Abstract: A method of creating constraints for use with object code insertion technology can include deriving an A-representation and a B-representation of values produced by execution of instructions of a portion of object code, wherein prior to object code insertion the A-representation and the B-representation of a value produced by same instruction(s) are equivalent. The method further can include identifying equalities between A-representations of values produced by different instructions and determining constraints from the identified equalities using B-representations, where the constraints are observed after object code insertion.

Abstract: A method of creating constraints for use with object code insertion technology can include deriving an A-representation and a B-representation of values produced by execution of instructions of a portion of object code, wherein prior to object code insertion the A-representation and the B-representation of a value produced by same instruction(s) are equivalent. The method further can include identifying equalities between A-representations of values produced by different instructions and determining constraints from the identified equalities using B-representations, where the constraints are observed after object code insertion.

Abstract: A system and method for the analysis of putative switch tables in position-independent binary code. The method includes defining a block of data as a potential switch table by computing one or more switch targets. The switch targets are computed by, determining the reference address (point) of the switch table, determining the size of the entry in the switch table and determining the target address by adding the value of the entry to the reference address wherein said reference address and said target address define a selected block of data. The method also includes evaluating the selected block of data as a potential switch table and determining the best value and the best split for a selected block of data. The method also includes determining the best list of switch tables from a selected block of data.

Abstract: A method of monitoring runtime memory usage by a program. The method can include retrieving data from a first region of virtual memory that has been allocated to the program and compressing the data. A data compression rate can be measured. The method further can include generating a notification comprising notification data indicating that the first region of memory was not efficiently used by the program during execution when the data compression exceeds a threshold value or the data compression rate exceeds a statistical value determined from an application's memory usage.