Mathias Vorreiter Pedersen 2dc91a56eb C++: Lower the treshold for max number of bounds to 2^29.

2026-02-12 09:44:20 +00:00

..

inline_assembly.c

C++: move SimpleRangeAnalysis tests

2019-01-08 09:34:23 -08:00

lowerBound.expected

C++: Lower the treshold for max number of bounds to 2^29.

2026-02-12 09:44:20 +00:00

lowerBound.ql

C++: Precise printing of integer bounds

2020-08-11 16:48:01 +02:00

minmax.c

C++: move SimpleRangeAnalysis tests

2019-01-08 09:34:23 -08:00

missing_bounds.cpp

C++: Add more terms to make range analysis test timeout.

2026-02-12 09:44:17 +00:00

nrOfBounds.expected

C++: Add more terms to make range analysis test timeout.

2026-02-12 09:44:17 +00:00

nrOfBounds.ql

C++: Add range analysis test demonstrating missing measuring bounds.

2026-02-11 16:58:18 +00:00

ternaryLower.expected

C++: Lower the treshold for max number of bounds to 2^29.

2026-02-12 09:44:20 +00:00

ternaryLower.ql

C++: move SimpleRangeAnalysis tests

2019-01-08 09:34:23 -08:00

ternaryUpper.expected

C++: Lower the treshold for max number of bounds to 2^29.

2026-02-12 09:44:20 +00:00

ternaryUpper.ql

C++: move SimpleRangeAnalysis tests

2019-01-08 09:34:23 -08:00

test.c

C++: Add simple range analysis tests for inequalities

2026-01-09 10:12:36 +01:00

test.cpp

C++: Add tests to expose potential improvements available to SimpleRangeAnalysis

2021-09-02 21:20:33 +02:00

upperBound.expected

C++: Lower the treshold for max number of bounds to 2^29.

2026-02-12 09:44:20 +00:00

upperBound.ql

C++: Precise printing of integer bounds

2020-08-11 16:48:01 +02:00