Jeroen Ketema 12da4f7814 C++: Address review comment

2023-03-28 00:33:46 +02:00

..

analysis

C++: Address review comment

2023-03-28 00:33:46 +02:00

Semantic.qll

Add working sign and modulus analysis

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

SemanticBound.qll

C++: Remove fixed TODO

2023-03-17 11:27:13 -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: do the minimal change to ValueNumberBound instead

2022-12-12 22:17:50 +01:00

SemanticGuard.qll

Add working sign and modulus analysis

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

SemanticLocation.qll

C++: Autoformat.

2023-03-17 09:37:46 +00: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

C++: bool -> int conversions are safe conversions.

2023-03-22 15:01:54 +00:00

SemanticTypeSpecific.qll

Add working sign and modulus analysis

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