Mathias Vorreiter Pedersen 470abfd0aa C++: Conflate iterator value and indirection for taint-flow to fix AST dataflow.

2023-01-23 10:40:25 +00:00

..

implementations

C++: Conflate iterator value and indirection for taint-flow to fix AST dataflow.

2023-01-23 10:40:25 +00:00

interfaces

C++: Fix models.

2023-01-23 10:10:02 +00:00

Models.qll

C++: Model scanf and fscanf as flow sources

2022-12-08 15:22:41 +01:00