Repository navigation

C++: Model taint flow through std::string constructor and c_str() - #3195

Merged

jbj merged 8 commits into

github:masterfrom

geoffw0:taintstring

Apr 3, 2020

Commits on Apr 2, 2020
- C++: Add a test of taint through std::strings, based on the one in the old PR.
  geoffw0
  committed
  69f6790
- C++: Add models for std::string (as in old PR).
  geoffw0
  committed
  b14b52d
- C++: Switch to taint flow as suggested in the old PR.
  geoffw0
  committed
  7317168
- C++: Change note.
  geoffw0
  committed
  ab716eb
- C++: Autoformat.
  geoffw0
  committed
  e9132d8
- C++: Update use of deprecated methods.
  geoffw0
  committed
  c9ec30f
Commits on Apr 3, 2020
- C++: Rename Strings.qll -> StdString.qll.
  geoffw0
  committed
  1bcf187
- C++: Rename classes.
  geoffw0
  committed
  73bfd81