Implement C Memory2 package#265

Merged

lcartey merged 15 commits intogithub:mainfrom

nicolaswill:Memory2

Mar 28, 2023

Commits on Mar 23, 2023

Implement Memory2 queries
Nikita Kraiouchkine
committed
Merge remote-tracking branch 'upstream/main' into Memory2
Nikita Kraiouchkine
committed
Update RuleMetadata.qll
Nikita Kraiouchkine
committed
MEM33-C: Remove illegal character from name
Nikita Kraiouchkine
committed
Format Variable.qll
Nikita Kraiouchkine
committed
Update rules.csv
Nikita Kraiouchkine
committed
EXP62-CPP: Generate help files
Nikita Kraiouchkine
committed
Remove RULE-9-5 from Memory2 package
Nikita Kraiouchkine
committed
Remove duplicate MaxAlignT code
Nikita Kraiouchkine
committed
Revert CloseFileHandleWhenNoLongerNeededShared.qll change
Nikita Kraiouchkine
committed
Regenerate help files
Nikita Kraiouchkine
committed

Commits on Mar 28, 2023

ARR36-C: Change kind to path-problem
Nikita Kraiouchkine
committed
MEM34-C and RULE-22-2: Reduce FPs
Nikita Kraiouchkine
committed
Update FreeMemoryWhenNoLongerNeededShared.qll
Nikita Kraiouchkine
committed
Merge remote-tracking branch 'upstream/main' into Memory2
Nikita Kraiouchkine
committed