Mathias Vorreiter Pedersen 6c3f44bba8 C++: Add more memcpy, memset, strcat and strcpy models. Also refine which strcpy functions can live in the std namespace.

2021-02-01 08:44:10 +01:00

..

additional-flow-to-parameter

C++: Autoformat everything

2019-09-09 11:25:53 +02:00

crement

C++: Move Load from AssignmentOperation to its LHS

2020-01-24 09:09:31 +01:00

dataflow-edge-tests

C++: Autoformat everything

2019-09-09 11:25:53 +02:00

dataflow-tests

C++: Accept test changes.

2020-12-22 09:14:54 +01:00

DefaultTaintTracking

C++: Remove MISSING annotations for tests that are already correct.

2020-12-01 19:41:24 +01:00

fields

C++: Restore lost result on git/git. We lost the result in a00bd7ae02 because the added check for type T to type T* conversion didn't handle const qualifiers.

2021-01-22 14:20:18 +01:00

partialdefinitions

C++: Accept test results with location fixes

2020-05-28 09:42:49 +02:00

recursion

C++: Autoformat everything

2019-09-09 11:25:53 +02:00

security-taint

C++: Refine StrLenFunction, including removal of taint flow.

2020-05-29 14:04:27 +01:00

stackaddress

QL code and tests for C#/C++/JavaScript.

2018-08-02 17:53:23 +01:00

taint-tests

C++: Add more memcpy, memset, strcat and strcpy models. Also refine which strcpy functions can live in the std namespace.

2021-02-01 08:44:10 +01:00

variable

C++: Relax type in two tests

2019-11-19 11:31:34 +01:00