Geoffrey White
|
899d1ab6d8
|
C++: Add tests of strdup (and variants) as allocators.
|
2020-12-14 13:50:11 +00:00 |
|
Geoffrey White
|
867f357b36
|
CPP: Correct the test.
|
2019-03-21 10:57:44 +00:00 |
|
Geoffrey White
|
faeb326bf8
|
CPP: Use newer dataflow for the fix.
|
2019-03-20 15:47:48 +00:00 |
|
Geoffrey White
|
7d8886e30c
|
CPP: Fix over-enthusiastic dataflow in allocExprOrIndirect.
|
2019-03-20 15:40:02 +00:00 |
|
Geoffrey White
|
ea7e8927fe
|
CPP: Add a test similar to the false positive in arvidn/libtorrent.
|
2019-03-20 15:35:58 +00:00 |
|
Geoffrey White
|
df73bb3468
|
CPP: Fix performance issue. Also has a small positive effect on correctness.
|
2019-03-04 12:47:55 +00:00 |
|
Geoffrey White
|
f0085ed25a
|
CPP: Additional test cases.
|
2019-03-04 12:45:05 +00:00 |
|
Geoffrey White
|
d30bcb6fcf
|
CPP: Widen allocReachedVariable slightly.
|
2019-02-20 10:19:57 +00:00 |
|
Geoffrey White
|
23ae12a763
|
CPP: Add test cases.
|
2019-02-20 10:19:57 +00:00 |
|
Pavel Avgustinov
|
b55526aa58
|
QL code and tests for C#/C++/JavaScript.
|
2018-08-02 17:53:23 +01:00 |
|