hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-18 01:33:15 +01:00
Code Issues Packages Projects Releases Wiki Activity
Files
codeql-cli-2.7.3
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