Mathias Vorreiter Pedersen
|
8ce6335383
|
Merge pull request #6372 from geoffw0/uncontrolledarith
|
2021-08-03 17:53:39 +02:00 |
|
Geoffrey White
|
54253bc2eb
|
C++: Resurrect underflow detection, but only on unsigned types.
|
2021-08-03 15:02:39 +01:00 |
|
Geoffrey White
|
23ba7dcf9c
|
Merge pull request #6141 from ihsinme/ihsinme-patch-276
CPP: Add a query to find incorrectly used exceptions. 2
|
2021-08-03 14:46:39 +01:00 |
|
Mathias Vorreiter Pedersen
|
43044cd475
|
Merge pull request #6081 from ihsinme/ihsinme-patch-273
CPP: Add a query to find incorrectly used switch
|
2021-08-03 13:16:45 +02:00 |
|
Geoffrey White
|
904db788ec
|
Merge branch 'main' into impropnull
|
2021-08-02 15:00:12 +01:00 |
|
Mathias Vorreiter Pedersen
|
bbbbeda7c3
|
Merge pull request #6385 from MathiasVP/more-FieldConfiguration-sources
C++: Fix missing local flow in AST dataflow
|
2021-08-02 15:22:07 +02:00 |
|
ihsinme
|
14b4e08ce9
|
Update OperatorPrecedenceLogicErrorWhenUseBitwiseOrLogicalOperations.expected
|
2021-08-01 16:43:56 +03:00 |
|
ihsinme
|
36131ee16a
|
Update test.cpp
|
2021-08-01 16:43:05 +03:00 |
|
ihsinme
|
80eb4907c0
|
Update FindIncorrectlyUsedSwitch.expected
|
2021-08-01 15:03:30 +03:00 |
|
ihsinme
|
5c71a7c024
|
Update test.c
|
2021-08-01 15:02:41 +03:00 |
|
Geoffrey White
|
7f621bc737
|
C++: Repair the tests that use subtraction so that the thing they're testing is preserved, and add two new explicit tests of behaviour on subtraction.
|
2021-07-29 15:36:43 +01:00 |
|
Geoffrey White
|
13823df5a1
|
C++: Remove underflow detection.
|
2021-07-29 15:22:18 +01:00 |
|
Geoffrey White
|
9e0411238b
|
C++: Add some more test cases.
|
2021-07-29 15:15:26 +01:00 |
|
Mathias Vorreiter Pedersen
|
bbb38fd2aa
|
C++: Accept more test changes.
|
2021-07-29 15:49:50 +02:00 |
|
Alexandre Boulgakov
|
e55bd4fb64
|
C++: Allow querying virtual, override, and final declaration specifiers.
|
2021-07-29 14:02:03 +01:00 |
|
Mathias Vorreiter Pedersen
|
41d233f086
|
C++: Make the 'definition by reference'-node in 'foo(a.b);' a source in the 'FieldConfiguration' configuration.
|
2021-07-29 14:49:59 +02:00 |
|
Mathias Vorreiter Pedersen
|
a082172422
|
C++: Add testcase demonstrating missing local flow out of fields that are defined by reference.
|
2021-07-29 14:46:32 +02:00 |
|
Geoffrey White
|
ae35ae10e6
|
C++: Fix readlink FPs.
|
2021-07-28 17:45:18 +01:00 |
|
Geoffrey White
|
c2ef58d29d
|
C++: Support 'readlinkat'.
|
2021-07-28 16:15:28 +01:00 |
|
Geoffrey White
|
358d89f3ce
|
C++: Add tests.
|
2021-07-28 16:15:16 +01:00 |
|
Geoffrey White
|
00f6f668cc
|
C++: Don't report underflowing multiplication.
|
2021-07-27 14:02:40 +01:00 |
|
Geoffrey White
|
40f0658e8a
|
C++: Exclude unintended results on pointers.
|
2021-07-27 13:39:20 +01:00 |
|
Geoffrey White
|
503c5c9e33
|
C++: Add more test cases.
|
2021-07-27 13:38:00 +01:00 |
|
Robert Marsh
|
fbb3f2e506
|
Merge pull request #6273 from geoffw0/cleartext-storage-file
C++: Improve the CleartextFileWrite query
|
2021-07-26 12:46:51 -07:00 |
|
Geoffrey White
|
e9b96adf24
|
C++: Exclude results formatted with a character other than %s.
|
2021-07-22 17:40:32 +01:00 |
|
Geoffrey White
|
f8fed263e6
|
C++: Exclude results that are used as file names.
|
2021-07-22 17:40:25 +01:00 |
|
Geoffrey White
|
1d582182b0
|
C++: Exclude 'path'.
|
2021-07-22 15:49:30 +01:00 |
|
Geoffrey White
|
86ee5fea40
|
C++: More test cases and correct an existing one.
|
2021-07-22 15:47:06 +01:00 |
|
Geoffrey White
|
fa0f5d08a2
|
Merge branch 'main' into toctou2
|
2021-07-21 16:21:29 +01:00 |
|
Mathias Vorreiter Pedersen
|
6d0290809d
|
Merge branch 'rc/3.2' into mergeback-2021-07-21
|
2021-07-21 10:23:58 +02:00 |
|
ihsinme
|
8aac5b339e
|
Update FindIncorrectlyUsedExceptions.expected
|
2021-07-21 09:49:19 +03:00 |
|
ihsinme
|
4202759bcc
|
Update test.cpp
|
2021-07-21 09:48:36 +03:00 |
|
ihsinme
|
2d1924ac0e
|
Update test.cpp
|
2021-07-21 08:32:18 +03:00 |
|
Geoffrey White
|
473198a6ef
|
C++: Accept any check followed by a 'sensitive' use such as 'chmod'.
|
2021-07-20 18:11:05 +01:00 |
|
Geoffrey White
|
c6d8abc9b1
|
C++: Add a couple more testcases.
|
2021-07-20 17:52:59 +01:00 |
|
Mathias Vorreiter Pedersen
|
a006a7fb24
|
Revert "Merge pull request #6004 from MathiasVP/path-sensitive-stack-variable-reachability-analysis"
This reverts commit e3e7b00986, reversing
changes made to 8ccdd4fb9f.
|
2021-07-20 18:06:49 +02:00 |
|
Geoffrey White
|
ae944b268a
|
C++: Restrict the 'check' to stat / access only as these are by far the more reliable results.
|
2021-07-20 11:18:00 +01:00 |
|
Geoffrey White
|
ab4b2c2342
|
C++: Fix 'rename'.
|
2021-07-19 18:58:39 +01:00 |
|
Geoffrey White
|
7684796d63
|
C++: Fix handling of the 'stat' pointer argument.
|
2021-07-19 15:13:19 +01:00 |
|
Mathias Vorreiter Pedersen
|
7bc18abbb0
|
Merge pull request #6150 from geoffw0/toctou
C++: Tests for cpp/toctou-race-condition
|
2021-07-19 15:51:35 +02:00 |
|
Geoffrey White
|
49bbfefb4d
|
C++: Fix uses of 'rename' in tests.
|
2021-07-19 13:57:16 +01:00 |
|
Robert Marsh
|
e0ff1d949b
|
Merge pull request #6315 from MathiasVP/fix-off-by-one-in-rem-expr-range-analysis
C++: Fix off–by-one in range analysis for `RemExpr`.
|
2021-07-16 15:22:03 -07:00 |
|
Mathias Vorreiter Pedersen
|
39d9395bc3
|
C++: Fix off-by-one in range analysis for 'RemExpr'.
|
2021-07-16 16:35:19 +02:00 |
|
Mathias Vorreiter Pedersen
|
81aa115838
|
C++: Fix range analysis bug for 'RemExpr'.
|
2021-07-16 16:28:08 +02:00 |
|
Mathias Vorreiter Pedersen
|
dc2eea59a3
|
C++: Add buggy testcase with 'RemExpr'.
|
2021-07-16 16:27:09 +02:00 |
|
Geoffrey White
|
c5ed859cf5
|
C++: Update test comments to my best understanding.
|
2021-07-15 16:36:21 +01:00 |
|
Geoffrey White
|
c4322fdcd2
|
Merge pull request #6231 from ihsinme/ihsinme-patch-277
Add query for CWE-758: Reliance on Undefined, Unspecified, or Implementation-Defined Behavior
|
2021-07-15 15:52:48 +01:00 |
|
Geoffrey White
|
e5e8a1b781
|
C++: Exclude integral types from SensitiveExprs.
|
2021-07-15 14:44:14 +01:00 |
|
Geoffrey White
|
dd95c53a3e
|
C++: More test cases.
|
2021-07-15 14:39:56 +01:00 |
|
Geoffrey White
|
aabb2fc3a1
|
C++: Tune SensitiveExprs.qll based on real TP and FP results.
|
2021-07-15 14:25:29 +01:00 |
|