Skip to content

Latest commit

 

History

History
13 lines (12 loc) · 2.04 KB

README.md

File metadata and controls

13 lines (12 loc) · 2.04 KB
Raw

Description of the SPP functionality tests & helper files

  • common.h: Implements the print_pass_flag and print_fail_flag helper functions to determine the correct execution of the tests.
  • free_tx_abort.cpp: should NOT crash | Accesses a PM object in-bounds after an aborted attempt to free it within a transaction which is a valid operation.
  • overflow_ntx.cpp: should crash | PM object overflow access. Invalid operation -- therefore it should crash.
  • overflow_persistence_helper.cpp: Helper function that has 2 stages. In stage 1 it creates the pool and the root object. In stage 2 it attempts to perform an overflown access to the object. The stage is given as a cmdline argument. We have this test to show the ability of SPP to detect overflows even after program restarts. To see how to invoke this test, see here.
  • overflow_persistence.sh: should crash | Script to run the overflow_persistence_helper.cpp. It triggers an overflow in the Stage 2 of the run -- therefore it should crash.
  • overflow.cpp: should crash | PM object overflow access. Invalid operation -- therefore it should crash.
  • root_overflow.cpp: should crash | Root object overflow access. Invalid operation -- therefore it should crash.
  • root_underflow.cpp: should NOT crash | Root object underflow. SPP does not detect underflows -- therefore, it's normal that it does not crash.
  • tx_add_overflow.cpp: should crash | PM buffer overflow on the snapshotting process of an object. It should crash.
  • type_overflow.cpp: should crash | Contains a memcpy that overflows the buffer based on the type. Invalid operation -- therefore it should crash.
  • zalloc.cpp: should NOT crash | Contains valid PM object allocations and frees.