Cornelius Riemenschneider 3596ff7c51 Address review.

2020-05-10 19:34:16 +02:00

..

InBounds.expected

Address review.

2020-05-10 19:34:16 +02:00

InBounds.ql

This library proves that a subset of pointer dereferences in a program are safe, i.e. in-bounds.

2020-05-06 16:36:48 +02:00

test.cpp

Address review.

2020-05-10 19:34:16 +02:00