Mathias Vorreiter Pedersen
|
40cc2e7891
|
C++: Also exclude unevaluated buffers in 'OverflowStatic'.
|
2023-03-21 09:53:39 +00:00 |
|
Mathias Vorreiter Pedersen
|
4d2a1ea149
|
C++: Also add a FP test to 'OverflowStatic'.
|
2023-03-21 09:50:47 +00:00 |
|
Anders Fugmann
|
ebdda885f9
|
C++: Update test annotation for OverflowStatic
|
2021-09-07 10:38:16 +02:00 |
|
Anders Fugmann
|
c110508b4e
|
C++: Add tests to expose potential improvements available to SimpleRangeAnalysis
|
2021-09-02 21:20:33 +02:00 |
|
Geoffrey White
|
ea56a5d9ce
|
CPP: Add local dataflow to (one bit of) OverflowStatic.ql.
|
2018-11-22 15:49:13 +00:00 |
|
Geoffrey White
|
01ba635e1d
|
CPP: Add some test cases involving dataflow.
|
2018-11-22 15:49:13 +00:00 |
|
Pavel Avgustinov
|
b55526aa58
|
QL code and tests for C#/C++/JavaScript.
|
2018-08-02 17:53:23 +01:00 |
|