Cornelius Riemenschneider fd2e0292c3 C++: Model bsl functions in Strtok.qll.

2021-02-15 16:00:37 +00:00

..

examples

C++: Rename Block -> BlockStmt

2020-09-08 08:40:20 +02:00

src

C++: Model bsl functions in Strtok.qll.

2021-02-15 16:00:37 +00:00

test

C++: Add models for BSD-style send and recv functions.

2021-02-11 17:21:32 +01:00