Josh Soref 86ad9f5c92 spelling: whose ...

Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>

2022-10-14 15:08:44 -04:00

..

analysis

spelling: whose

2022-10-14 15:08:44 -04:00

Semantic.qll

Add working sign and modulus analysis

2022-03-15 05:16:23 -04:00

SemanticBound.qll

Add working sign and modulus analysis

2022-03-15 05:16:23 -04:00

SemanticCFG.qll

Add working sign and modulus analysis

2022-03-15 05:16:23 -04:00

SemanticExpr.qll

C++: Fix a couple of range analysis issues:

2022-09-15 17:46:52 +01:00

SemanticExprSpecific.qll

C++: Autoformat.

2022-09-23 13:00:22 +01:00

SemanticGuard.qll

Add working sign and modulus analysis

2022-03-15 05:16:23 -04:00

SemanticOpcode.qll

C++: Fix a couple of range analysis issues:

2022-09-15 17:46:52 +01:00

SemanticSSA.qll

C++: Add an SSAVariable for pointer-arithmetic expressions in guards.

2022-09-23 12:21:31 +01:00

SemanticType.qll

Fix Code Scanning warning

2022-03-15 14:53:43 -04:00

SemanticTypeSpecific.qll

Add working sign and modulus analysis

2022-03-15 05:16:23 -04:00