Mathias Vorreiter Pedersen
|
04a785b9fb
|
C++: Accept test changes.
|
2021-04-27 09:43:27 +02:00 |
|
Mathias Vorreiter Pedersen
|
7fbc62358e
|
C++: Accept test changes after making the exprMightOverFlow predicates more sound.
|
2021-04-15 13:57:44 +02:00 |
|
Mathias Vorreiter Pedersen
|
d1457995dd
|
C++: Use range analysis in Overflow.qll
|
2021-04-13 16:39:28 +02:00 |
|
Geoffrey White
|
4879104568
|
C++: Add more dataflow cases to replace the loss.
|
2021-04-13 15:09:12 +01:00 |
|
Geoffrey White
|
b0ad927fdd
|
C++: Remove useUsePair.
|
2021-04-13 15:03:06 +01:00 |
|
Geoffrey White
|
3b437fe6cf
|
C++: Replace GVN with some other libraries.
|
2021-04-09 15:21:42 +01:00 |
|
Geoffrey White
|
517fd23ca5
|
C++: Correct and add to test cases.
|
2021-04-08 09:48:38 +01:00 |
|
Geoffrey White
|
a8193dac08
|
C++: Reintroduce the exprMightOverflowNegatively bit.
|
2021-04-06 22:36:59 +01:00 |
|
Geoffrey White
|
60e4faba4c
|
C++: Add linear expression logic.
|
2021-04-06 22:28:36 +01:00 |
|
Geoffrey White
|
48ff8e237c
|
C++: Rewrite the range analysis exclusion to be recursive and more robust.
|
2021-04-06 22:26:55 +01:00 |
|
Geoffrey White
|
3ecd13531f
|
C++: Improve isGuarded.
|
2021-04-06 22:21:59 +01:00 |
|
Geoffrey White
|
59ff3f315b
|
C++: Add test cases exploring issues and potential issues with the query (especially related to simple range analysis).
|
2021-04-06 22:21:25 +01:00 |
|
Geoffrey White
|
a8284d5b97
|
C++: Add mutex test case.
|
2021-03-30 15:39:21 +01:00 |
|
Mathias Vorreiter Pedersen
|
c7c65736a9
|
C++: Accept test changes. These happened because of the incorrect usage of multiple configurations in 6c1ec6d96b.
|
2021-03-26 10:57:58 +01:00 |
|
Mathias Vorreiter Pedersen
|
983b64a05f
|
Merge branch 'main' into rdmarsh/cpp/use-taint-configuration-dtt
|
2021-03-26 09:11:12 +01:00 |
|
Geoffrey White
|
b38a9d51e6
|
C++: Effect of 'Don't override getParameterSizeIndex in the model for Accept'...
|
2021-03-23 12:26:59 +00:00 |
|
Geoffrey White
|
13eb9e0833
|
C++: Fix the test.
|
2021-03-23 12:26:58 +00:00 |
|
Geoffrey White
|
30e1b88b7f
|
C++: Extend test.
|
2021-03-23 12:26:58 +00:00 |
|
Mathias Vorreiter Pedersen
|
6c1ec6d96b
|
C++: Accept test changes.
|
2021-03-19 16:09:05 +01:00 |
|
Mathias Vorreiter Pedersen
|
5667901a2a
|
C++: Accept test changes after merge from main (which changed the path explanations).
|
2021-03-11 21:16:57 +01:00 |
|
Mathias Vorreiter Pedersen
|
a2d75c4fed
|
Merge branch 'main' into rdmarsh/cpp/use-taint-configuration-dtt
|
2021-03-11 18:06:37 +01:00 |
|
Mathias Vorreiter Pedersen
|
01cc2f2c77
|
Merge pull request #5366 from MathiasVP/better-path-explanation-for-this-indirection
C++: Replace 'Argument -1 indirection' with 'This indirection'
|
2021-03-11 10:48:44 +01:00 |
|
Jonas Jensen
|
e1adf5e8b0
|
Merge pull request #5218 from MathiasVP/no-write-side-effects-for-const-pointer-params
C++: Don't generate write side effects for const parameter indirections
|
2021-03-11 09:48:05 +01:00 |
|
Mathias Vorreiter Pedersen
|
55da16c4a9
|
C++: Accept test changes.
|
2021-03-11 09:27:45 +01:00 |
|
Mathias Vorreiter Pedersen
|
bc36e0db43
|
C++: Accept more test changes.
|
2021-03-10 16:51:13 +01:00 |
|
Mathias Vorreiter Pedersen
|
0b6589c8be
|
C++: Accept test changes.
|
2021-03-10 15:47:06 +01:00 |
|
Mathias Vorreiter Pedersen
|
19d08d7b40
|
Merge branch 'main' into rdmarsh/cpp/use-taint-configuration-dtt
|
2021-03-09 12:35:44 +01:00 |
|
Mathias Vorreiter Pedersen
|
7207a17f6f
|
C++: Accept more tests.
|
2021-03-08 16:50:12 +01:00 |
|
Mathias Vorreiter Pedersen
|
748f5344ff
|
Merge branch 'main' into rdmarsh/cpp/use-taint-configuration-dtt
|
2021-03-02 10:43:37 +01:00 |
|
Mathias Vorreiter Pedersen
|
72daf2eef9
|
C++: Make the tests more realistic by actually using the local variable for something. Otherwise it looks like a zero-initialization of a buffer, which the query now tries to exclude.
|
2021-02-26 09:19:05 +01:00 |
|
Mathias Vorreiter Pedersen
|
d33209388d
|
C++: Fix test annotations. Also exclude static locals from the query and add a testcase for this.
|
2021-02-25 13:25:11 +01:00 |
|
Mathias Vorreiter Pedersen
|
ef8b734863
|
C++: Move tests out of experimental and merge with old existing tests from the other memset PRs.
|
2021-02-24 18:02:16 +01:00 |
|
Mathias Vorreiter Pedersen
|
299f371715
|
C++: Accept more test changes.
|
2021-02-19 16:01:31 +01:00 |
|
Mathias Vorreiter Pedersen
|
25beadcb05
|
Update cpp/ql/test/query-tests/Security/CWE/CWE-079/semmle/CgiXss/search.c
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
|
2021-02-17 11:54:24 +01:00 |
|
Mathias Vorreiter Pedersen
|
f5d5460dde
|
C++: Fix testcase.
|
2021-02-17 10:53:31 +01:00 |
|
Mathias Vorreiter Pedersen
|
fa44cedd38
|
C++: Add isBarrier to CgiXss.ql.
|
2021-02-16 18:58:28 +01:00 |
|
Mathias Vorreiter Pedersen
|
fd596ebbbb
|
C++: Move cpp/unsigned-difference-expression-compared-zero out of experimental.
|
2021-02-04 16:10:34 +01:00 |
|
Jonas Jensen
|
064568c36d
|
Revert "Merge pull request #4784 from MathiasVP/mathiasvp/reverse-read-take-3"
This reverts commit 1b3d69d617, reversing
changes made to 527c41520e.
|
2021-02-03 08:49:37 +01:00 |
|
Jonas Jensen
|
1b3d69d617
|
Merge pull request #4784 from MathiasVP/mathiasvp/reverse-read-take-3
C++: Support longer access paths in IR field flow
|
2021-01-25 10:36:03 +01:00 |
|
Geoffrey White
|
81205f37c5
|
C++: Fix test annotation.
|
2021-01-06 11:45:17 +00:00 |
|
Geoffrey White
|
18890c4a77
|
C++: Use isAdditionalBarrier in the SqlTainted query.
|
2021-01-05 11:33:39 +00:00 |
|
Geoffrey White
|
01b204ea30
|
C++: Add a test case with a tainted integer.
|
2021-01-04 15:35:18 +00:00 |
|
Geoffrey White
|
7a3f9c7895
|
C++: Add a test (cleaned up) that was previously in the internal repo.
|
2021-01-04 15:35:18 +00:00 |
|
Mathias Vorreiter Pedersen
|
77aa9615c0
|
C++: Accept test changes in paths.
|
2020-12-22 09:14:55 +01:00 |
|
Mathias Vorreiter Pedersen
|
f5e4725642
|
C++: Propagate flow from instruction's to non-exact operands for arrays and unions, and accept test changes.
|
2020-12-18 13:54:34 +01:00 |
|
Robert Marsh
|
275d75295c
|
Merge branch 'main' into rdmarsh/cpp/use-taint-configuration-dtt
Fix test conflict
|
2020-11-12 13:28:10 -08:00 |
|
Robert Marsh
|
04ad94d1cc
|
C++: model taint from pointers to aliased buffers
|
2020-11-09 13:52:08 -08:00 |
|
Robert Marsh
|
afbeca0d54
|
C++: Accept test outputs
|
2020-11-09 13:24:31 -08:00 |
|
Robert Marsh
|
95ed5465de
|
C++: improve handling of function arguments in DTT
|
2020-11-09 13:02:06 -08:00 |
|
Robert Marsh
|
fbe857d1fa
|
C++: require that other operands be predictable
This brings back a constraint that was lost when switching
DefaultTaintTracking to use a TaintTracking::Configuration
|
2020-11-09 13:00:55 -08:00 |
|