postgresql/contrib/amcheck
Peter Geoghegan a9ce839a31 Sanitize line pointers within contrib/amcheck.
Adopt a more defensive approach to accessing index tuples in
contrib/amcheck: verify that each line pointer looks sane before
accessing associated tuple using pointer arithmetic based on line
pointer's offset.  This avoids undefined behavior and assertion failures
in cases where line pointers are corrupt.

Issue spotted following a complaint about an assertion failure by
Grigory Smolkin, which involved a test harness that deliberately
corrupts indexes.

This is arguably a bugfix, but no backpatch given the lack of field
reports beyond Grigory's.

Discussion: https://postgr.es/m/CAH2-WzmkurhCqnyLHxk0VkOZqd49+ZZsp1xAJOg7j2x7dmp_XQ@mail.gmail.com
2019-04-25 12:50:37 -07:00
..
expected Add test coverage for rootdescend verification. 2019-04-04 17:25:35 -07:00
sql Add test coverage for rootdescend verification. 2019-04-04 17:25:35 -07:00
.gitignore
amcheck--1.0--1.1.sql
amcheck--1.0.sql
amcheck--1.1--1.2.sql
amcheck.control
Makefile
verify_nbtree.c Sanitize line pointers within contrib/amcheck. 2019-04-25 12:50:37 -07:00