hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-29 10:45:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

Shared: Add a qlpack with a parameterized module defining type-trackers.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2022-12-05 14:56:11 +01:00
parent 9eed12af23
commit 27755d1551
3 changed files with 654 additions and 462 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
shared/typetracking/change-notes/2022-12-01-initial-version.md Normal file
View File

@@ -0,0 +1,4 @@
---
category: minorAnalysis
---
* Initial release. Includes a parameterized module implementing type-trackers.

1106
shared/typetracking/codeql/typetracking/TypeTracking.qll
View File

File diff suppressed because it is too large Load Diff

6
shared/typetracking/qlpack.yml Normal file
View File

@@ -0,0 +1,6 @@
name: codeql/typetracking
version: 0.0.1-dev
groups: shared
library: true
dependencies:
codeql/util: ${workspace}