Abstract: A computer detects a crash of a computer program, the crash being caused by a faulting instruction. The computer determines, within concrete stack frame(s) of the computer program, memory position(s) and extent(s) of input. The computer maps, using the memory position(s) and the extent(s), inferred stack frame(s) onto concrete stack frame(s), the inferred stack frame(s) indicating positions of variables used in the computer program. The computer identifies, based on mapping the inferred stack frame(s) onto the concrete stack frame(s), at least one variable from among the variables that is within a stack overflow memory and within a dataflow path to the faulting instruction, wherein the dataflow path to the faulting instruction indicates the variables used in the computer program that are accessed by or contribute to the faulting instruction. The computer determines whether the stack overflow contributed to the crash of the computer program.

Abstract: Methods, systems, and computer-readable storage medium including a computer program product for defending against cyber-attacks are provided. One method includes receiving, by a processor, program code and automatically generating a chronomorphic binary for the program code. The method further includes storing the chronomorphic binary in an executable memory space and diversifying the executable memory space for the chronomorphic binary during runtime of the program code. A system includes memory configured for storing a defense module and a processor connected to the memory. The processor, when executing the defense module, is configured for performing the above-referenced method. One computer program product includes computer code for performing the above-referenced method.

Abstract: Methods, systems, and computer-readable storage medium including a computer program product for defending against cyber-attacks are provided. One method includes receiving, by a processor, program code and automatically generating a chronomorphic binary for the program code. The method further includes storing the chronomorphic binary in an executable memory space and diversifying the executable memory space for the chronomorphic binary during runtime of the program code. A system includes memory configured for storing a defense module and a processor connected to the memory. The processor, when executing the defense module, is configured for performing the above-referenced method. One computer program product includes computer code for performing the above-referenced method.

Abstract: Methods, systems, and computer-readable storage medium including a computer program product for defending against cyber-attacks are provided. One method includes receiving, by a processor, program code and automatically generating a chronomorphic binary for the program code. The method further includes storing the chronomorphic binary in an executable memory space and diversifying the executable memory space for the chronomorphic binary during runtime of the program code. A system includes memory configured for storing a defense module and a processor connected to the memory. The processor, when executing the defense module, is configured for performing the above-referenced method. One computer program product includes computer code for performing the above-referenced method.