153 Commits

Author	SHA1	Message	Date
Cornelius Riemenschneider	9d2533c8ab	Fix bug in handling of subtractions.	2020-04-29 13:07:15 +02:00
Cornelius Riemenschneider	e6d193294a	Experimental library that tracks the length of memory. ... For each pointer, we start tracking (starting from the allocation or an array declaration) 1) how long is the chunk of memory allocated 2) where the current pointer is in this chunk of memory. This information might not always exist, but when it does, it is reliable. Currently only works intraprocedurally.	2020-04-29 12:55:54 +02:00
yo-h	43bcd5b26c	Add guidelines for experimental CodeQL queries and libraries	2020-02-24 15:08:31 -05:00