hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-01-05 02:30:19 +01:00
Code Issues Packages Projects Releases Wiki Activity
Files
f8d8a9b35684094117b4ce888de154d50aa33708
codeql/cpp/ql/test/experimental/library-tests/rangeanalysis/inboundsptr
History
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