Grammatech, Inc.

David Gordon Melski

Drew Christian Dehaas

Nathan Taylor Kennedy

Vlad Folts

Eric Rizzi

Certain example embodiments relate to software test with automated configurable harness capabilities. Certain example embodiments automatically generate harnesses and properly encoded seed inputs by recording the input operations of a system under test (SUT), identifying the processes to be fuzz tested, generating seed inputs and a manifest describing the SUT's input vectors, and generating the harness to effectively feed derived (and potentially 'malformed') input to the SUT. The techniques described herein may be used to test a computer system, e.g., to probe for potential vulnerabilities.

Software test environment with automated configurable harness capabilities, and associated methods and computer readable storage media

Certain example embodiments described herein relate to techniques for automatically protecting, or hardening, software against exploits of memory-corruption vulnerabilities. The techniques include arranging a plurality of guard regions in the memory in relation to data objects formed by the application program, identifying an access by the application program to a guard region arranged in the memory as a disallowed access, and modifying the execution of the application program in response to the identifying, the modifying being in order to prevent exploitation of the memory and/or to correctly execute the application program.

Growing community of inventors

Ithaca, NY, United States of America

David Gordon Melski