Cornelius Riemenschneider
|
ebcecca9f1
|
Merge pull request #5157 from geoffw0/modelsbsl2
C++: Improve Iterator models
|
2021-02-17 18:04:07 +01:00 |
|
Mathias Vorreiter Pedersen
|
908f24d23f
|
C++: Fix missing AST flow.
|
2021-02-17 14:33:58 +01:00 |
|
Mathias Vorreiter Pedersen
|
e0dca2be20
|
Merge pull request #5185 from MathiasVP/block-integral-types-in-cgixss-query
C++: Add isBarrier to cpp/cgi-xss
|
2021-02-17 12:44:45 +01:00 |
|
Geoffrey White
|
c07a60818c
|
C++: Simplify IteratorAssignArithmeticOperator.
|
2021-02-17 10:49:28 +00:00 |
|
Mathias Vorreiter Pedersen
|
e1c4406fd4
|
Merge pull request #5187 from geoffw0/modelsbsl5
C++: Support BSL in Allocation.qll, Deallocation.qll.
|
2021-02-17 11:48:53 +01:00 |
|
Mathias Vorreiter Pedersen
|
6db75df943
|
Merge pull request #5186 from geoffw0/modelsbsl4
C++: More models work
|
2021-02-17 11:46:23 +01:00 |
|
Robert Marsh
|
6aeec5872d
|
Merge branch 'main' into rdmarsh2/cpp/operand-reuse
|
2021-02-16 15:42:58 -08:00 |
|
Geoffrey White
|
3323683ab2
|
C++: Support BSL in Allocation.qll, Deallocation.qll.
|
2021-02-16 19:19:06 +00:00 |
|
Geoffrey White
|
d068ede65b
|
Merge pull request #5180 from criemen/bsl-stdcontainer
C++: Refactor StdContainer.qll.
|
2021-02-16 18:53:08 +00:00 |
|
Geoffrey White
|
58230d6d0a
|
C++: Model BSL in Fread.qll.
|
2021-02-16 18:00:51 +00:00 |
|
Mathias Vorreiter Pedersen
|
fa44cedd38
|
C++: Add isBarrier to CgiXss.ql.
|
2021-02-16 18:58:28 +01:00 |
|
Geoffrey White
|
e17d539883
|
C++: Model BSL in Getenv.qll.
|
2021-02-16 17:56:48 +00:00 |
|
Geoffrey White
|
735e014b43
|
C++: Model BSL in Gets.qll.
|
2021-02-16 17:22:59 +00:00 |
|
Cornelius Riemenschneider
|
f7f8dd49c6
|
Merge pull request #5156 from geoffw0/modelsbsl
C++: Improve StdSet and StdPair models
|
2021-02-16 18:00:23 +01:00 |
|
Cornelius Riemenschneider
|
3fb42194a5
|
Apply suggestions from code review
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
|
2021-02-16 17:58:45 +01:00 |
|
Geoffrey White
|
92df1f7a3d
|
Merge pull request #5165 from criemen/bsl-model-identity
C++: Refactor IdentityFunction.qll.
|
2021-02-16 16:32:57 +00:00 |
|
Geoffrey White
|
c32e54e902
|
Merge pull request #5176 from criemen/bsl-smartptr
BSL support for smart pointers and other std classes.
|
2021-02-16 16:21:50 +00:00 |
|
Cornelius Riemenschneider
|
173b16ae21
|
Merge pull request #5169 from criemen/bsl-pure
C++: Model bsl functions in Pure.qll.
|
2021-02-16 17:19:11 +01:00 |
|
Cornelius Riemenschneider
|
80eaf0b67a
|
Merge pull request #5174 from criemen/bsl-str
Model bsl functions in Str*.qll
|
2021-02-16 17:18:40 +01:00 |
|
Cornelius Riemenschneider
|
f087ff3e49
|
Merge pull request #5167 from criemen/bsl-memset
C++: Refactor Mem*.qll and include bsl model.
|
2021-02-16 17:18:29 +01:00 |
|
Cornelius Riemenschneider
|
a04883cafc
|
C++: Fix compilation.
|
2021-02-16 16:17:59 +00:00 |
|
Cornelius Riemenschneider
|
552f0a7c5e
|
C++: Address review.
|
2021-02-16 15:55:41 +00:00 |
|
Cornelius Riemenschneider
|
434a5f04ed
|
Merge branch 'bsl-memcpy' into bsl-memset
|
2021-02-16 11:56:40 +00:00 |
|
Cornelius Riemenschneider
|
3f17171f13
|
C++: Address review.
|
2021-02-16 11:55:03 +00:00 |
|
Cornelius Riemenschneider
|
30659f3ecf
|
C++: Address review.
|
2021-02-16 11:54:21 +00:00 |
|
Cornelius Riemenschneider
|
a42700f09e
|
C++: Address review.
|
2021-02-16 11:52:39 +00:00 |
|
Cornelius Riemenschneider
|
5dc57e9cc2
|
C++: Address review.
|
2021-02-16 11:49:44 +00:00 |
|
Cornelius Riemenschneider
|
b25f1fd44a
|
C++: Address review.
|
2021-02-16 11:37:43 +00:00 |
|
Geoffrey White
|
b309b711ab
|
Merge pull request #5173 from criemen/bsl-swap
C++: Model bsl functions in Swap.qll.
|
2021-02-16 11:20:41 +00:00 |
|
Cornelius Riemenschneider
|
86268d49ed
|
C++: Refactor StdContainer.qll.
|
2021-02-16 11:10:57 +00:00 |
|
Geoffrey White
|
04f15ad43a
|
C++: BSL support in StdPairConstructor.
|
2021-02-16 09:49:09 +00:00 |
|
Mathias Vorreiter Pedersen
|
eb8309a17d
|
Merge pull request #5175 from github/igfoo/thethe
|
2021-02-15 18:09:32 +01:00 |
|
Cornelius Riemenschneider
|
4a07912006
|
C++: Small code improvement.
|
2021-02-15 16:36:49 +00:00 |
|
Cornelius Riemenschneider
|
595bb025f9
|
C++: Model bsl functions in StdMap.qll.
|
2021-02-15 16:34:07 +00:00 |
|
Cornelius Riemenschneider
|
b6b90b59eb
|
C++: Model bsl functions in SmartPointer.qll.
|
2021-02-15 16:22:52 +00:00 |
|
Cornelius Riemenschneider
|
d9c6f7bc35
|
C++: Model bsl functions in Scanf.qll.
|
2021-02-15 16:12:46 +00:00 |
|
Cornelius Riemenschneider
|
b670e5b04b
|
C++: Model bsl functions in Printf.qll.
|
2021-02-15 16:12:35 +00:00 |
|
Ian Lynagh
|
ba6e6337f3
|
C++: Fix TopLevelFunction's qldoc
|
2021-02-15 16:08:03 +00:00 |
|
Cornelius Riemenschneider
|
fd2e0292c3
|
C++: Model bsl functions in Strtok.qll.
|
2021-02-15 16:00:37 +00:00 |
|
Cornelius Riemenschneider
|
fd91a972a5
|
C++: Model bsl functions in Strcpy.qll.
|
2021-02-15 15:43:31 +00:00 |
|
Cornelius Riemenschneider
|
9d19752d9a
|
C++: Model bsl functions in Strcat.qll.
|
2021-02-15 15:42:34 +00:00 |
|
Cornelius Riemenschneider
|
3afe934a05
|
C++: Model bsl functions in Swap.qll.
|
2021-02-15 15:40:17 +00:00 |
|
Cornelius Riemenschneider
|
28d5ef919c
|
Merge pull request #5158 from geoffw0/modelsbsl3
C++: StdString BSL support
|
2021-02-15 16:32:30 +01:00 |
|
Cornelius Riemenschneider
|
c9af97b742
|
C++: Model bsl functions in Pure.qll.
|
2021-02-15 12:31:16 +00:00 |
|
Cornelius Riemenschneider
|
79e3bf80c3
|
C++: Simplify code.
|
2021-02-15 12:13:25 +00:00 |
|
Cornelius Riemenschneider
|
da38377e36
|
C++: Simplify code.
|
2021-02-15 12:12:29 +00:00 |
|
Cornelius Riemenschneider
|
2a3d20d9a9
|
C++: Refactor Memset.qll and include bsl model.
|
2021-02-15 12:36:18 +01:00 |
|
Cornelius Riemenschneider
|
a9071a62a0
|
C++: Refactor Memcpy.qll and include bsl model.
|
2021-02-15 12:15:17 +01:00 |
|
Mathias Vorreiter Pedersen
|
0f9b044814
|
C++: Model vector versions of BSD-style reads and writes.
|
2021-02-15 12:04:51 +01:00 |
|
Cornelius Riemenschneider
|
f79b3144e3
|
C++: Refactor IdentityFunction.qll.
|
2021-02-15 11:31:31 +01:00 |
|