Implement OutOfBounds package#281

Merged

rvermeulen merged 29 commits intogithub:mainfrom

nicolaswill:OutOfBounds

Apr 8, 2023

Commits on Mar 30, 2023

OutOfBounds: WIP libraries
Nikita Kraiouchkine
committed
Update OutOfBounds.qll
Nikita Kraiouchkine
committed
Update OutOfBounds.qll
Nikita Kraiouchkine
committed
Update OutOfBounds.qll
Nikita Kraiouchkine
committed
Update OutOfBounds.qll
Nikita Kraiouchkine
committed
Add ARR38-C
Nikita Kraiouchkine
committed
ARR38-C: Update query
Nikita Kraiouchkine
committed

Commits on Apr 5, 2023

Implement OutOfBounds.qll, ARR38-C, and ARR30-C
Nikita Kraiouchkine
committed
Merge branch 'main' into OutOfBounds
Nikita Kraiouchkine
authored
Correct OutOfBounds.qll format
Nikita Kraiouchkine
committed
Merge branch 'OutOfBounds' of https://github.com/kraiouchkine/codeql-coding-standards into OutOfBounds
Nikita Kraiouchkine
committed
Update DoNotFormOutOfBoundsPointersOrArraySubscripts.md
Nikita Kraiouchkine
committed
Fix strncat/wcscat param definition and add rules
Nikita Kraiouchkine
committed
Add RULE-21-18 test-case
Nikita Kraiouchkine
committed
Update RULE-21-17 and RULE-21-18 tests
Nikita Kraiouchkine
committed
Update strtok param indices in OutOfBounds library
Nikita Kraiouchkine
committed

Commits on Apr 6, 2023

Refactor OutOfBounds.qll and arg/offset model
Nikita Kraiouchkine
committed
Add test case to ARR30-C
Nikita Kraiouchkine
committed
Correct OutOfBounds.qll formatting
Nikita Kraiouchkine
committed
Resolve performance issue in OutOfBounds.qll
Nikita Kraiouchkine
committed
Expand ARR30-C coverage and test + add comments
Nikita Kraiouchkine
committed
Fix OutOfBounds.qll format
Nikita Kraiouchkine
committed
ARR38-C: Add missing GVN logic
Nikita Kraiouchkine
committed

Commits on Apr 7, 2023

Restrict ARR30-C to reduce FPs and fix performance
Nikita Kraiouchkine
committed
Remove defining argument nodes from data-flow graph
Nikita Kraiouchkine
committed
Correct ARR30-C metadata
Nikita Kraiouchkine
committed
Merge branch 'main' into OutOfBounds
Nikita Kraiouchkine
authored
Update getNameOrInternalName regex
Nikita Kraiouchkine
committed
Merge branch 'main' into OutOfBounds
rvermeulen
authored