Geoffrey White
|
f4f0f6d93e
|
C++: Merge the StrncpyFlippedArgs tests.
|
2020-01-23 11:05:46 +00:00 |
|
Geoffrey White
|
3aa66f5aca
|
C++: Merge the OverflowStatic tests.
|
2020-01-23 11:05:46 +00:00 |
|
Jonas Jensen
|
ceeb9ab718
|
Merge pull request #2622 from MathiasVP/implicit-function-declaration
C++: Add 'implicit function declaration' query
|
2020-01-23 09:23:44 +01:00 |
|
Geoffrey White
|
200545d88c
|
CPP: Add detail to the model.
|
2020-01-17 18:56:21 +00:00 |
|
Mathias Vorreiter Pedersen
|
e4def730fd
|
C++: Fix alert message
|
2020-01-16 21:30:14 +01:00 |
|
Mathias Vorreiter Pedersen
|
04ef4d102d
|
C++: Remove unnecessary testcase
|
2020-01-16 15:10:37 +01:00 |
|
Geoffrey White
|
2fa846d1a6
|
CPP: Correct test.
|
2020-01-14 14:33:43 +00:00 |
|
Geoffrey White
|
d98d80b07d
|
CPP: Improve locations for AV Rule 114.ql.
|
2020-01-14 14:33:43 +00:00 |
|
Mathias Vorreiter Pedersen
|
c9439df914
|
C++: Added query that detects implicit function declarations
|
2020-01-12 16:28:30 +01:00 |
|
Geoffrey White
|
9176529799
|
Merge pull request #2599 from MathiasVP/assign-where-compare-meant-false-positives
Assign where compare meant false positives
|
2020-01-10 13:39:39 +00:00 |
|
Mathias Vorreiter Pedersen
|
111f1dbd19
|
Merge branch 'assign-where-compare-meant-false-positives' of github.com:MathiasVP/ql into assign-where-compare-meant-false-positives
|
2020-01-10 13:14:00 +01:00 |
|
Mathias Vorreiter Pedersen
|
f80c13abd7
|
C++: Fixed incorrect comments in testcases
|
2020-01-10 12:24:43 +01:00 |
|
Mathias Vorreiter Pedersen
|
21c99d1827
|
Typo fix
Co-Authored-By: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
|
2020-01-10 11:46:14 +01:00 |
|
Geoffrey White
|
cf5dd85944
|
Merge pull request #2577 from MathiasVP/multiplication-overflow-not-possible-due-to-type-width
Multiplication overflow not possible due to type width
|
2020-01-08 17:18:33 +00:00 |
|
Dave Bartolomeo
|
6c8de44800
|
Merge pull request #2604 from geoffw0/returnthis
CPP: Exclude template classes from cpp/assignment-does-not-return-this
|
2020-01-08 09:12:22 -07:00 |
|
Geoffrey White
|
527d29ba23
|
CPP: Exclude template classes from the query.
|
2020-01-08 13:16:38 +00:00 |
|
Geoffrey White
|
d527dbe47a
|
CPP: Add test case.
|
2020-01-08 13:13:06 +00:00 |
|
Mathias Vorreiter Pedersen
|
100ace532f
|
C++: Fixed handling of false negative. Query now supports global variables
|
2020-01-07 22:57:21 +01:00 |
|
Mathias Vorreiter Pedersen
|
db08076fed
|
C++: Fixed false negative
|
2020-01-07 22:20:04 +01:00 |
|
Mathias Vorreiter Pedersen
|
229da0a9c0
|
C++: Add testcase demonstrating false negative
|
2020-01-07 22:12:34 +01:00 |
|
Mathias Vorreiter Pedersen
|
d9f931da3c
|
C++: Fix false positives
|
2020-01-07 14:16:50 +01:00 |
|
Mathias Vorreiter Pedersen
|
6bbe2c48bf
|
C++: Add testcase demonstrating false positive
|
2020-01-07 14:13:34 +01:00 |
|
Geoffrey White
|
72b4792391
|
CPP: Exception for AsmStmts.
|
2020-01-07 12:46:07 +00:00 |
|
Geoffrey White
|
0a85637fef
|
CPP: Add a test.
|
2020-01-07 12:46:07 +00:00 |
|
Mathias Vorreiter Pedersen
|
9a841636dc
|
C++: Fix false positive
|
2020-01-07 13:22:07 +01:00 |
|
Mathias Vorreiter Pedersen
|
faa9d83567
|
C++: Add testcase demonstrating false positive
|
2020-01-07 13:18:38 +01:00 |
|
Mathias Vorreiter Pedersen
|
bdd0589223
|
C++: Fix false positive
|
2020-01-07 13:16:47 +01:00 |
|
Mathias Vorreiter Pedersen
|
428e357488
|
C++: Add testcase demonstrating false positive
|
2020-01-07 11:41:48 +01:00 |
|
Mathias Vorreiter Pedersen
|
9ed1510a8c
|
C++: Improved query precision using SimpleRangeAnalysis
|
2020-01-06 14:16:52 +01:00 |
|
Mathias Vorreiter Pedersen
|
e926966e73
|
C++: Added more tests
|
2020-01-03 14:08:12 +01:00 |
|
Mathias Vorreiter Pedersen
|
cea78879b2
|
C++: Rename variables in tests to reflect their types
|
2020-01-03 14:07:19 +01:00 |
|
Mathias Vorreiter Pedersen
|
7dbb191531
|
C++: Improve query precision
|
2020-01-02 15:53:22 +01:00 |
|
Mathias Vorreiter Pedersen
|
cfb839a8f9
|
C++: Add test demonstrating the false positive
|
2020-01-02 15:48:01 +01:00 |
|
Jonas Jensen
|
939979ddef
|
Merge branch 'master' into overflowcalc
|
2019-12-19 14:12:00 +01:00 |
|
Mathias Vorreiter Pedersen
|
30822f1d98
|
C++: Alert suppresion through single-line /* */ style comments
|
2019-12-19 09:10:09 +01:00 |
|
Geoffrey White
|
0da826f0c3
|
Merge branch 'master' into overflowcalc
|
2019-12-16 13:48:38 +00:00 |
|
Jonas Jensen
|
b1745f588c
|
Merge pull request #2402 from geoffw0/nospace
CPP: Make NoSpaceForZeroTerminator.ql more conservative.
|
2019-11-26 13:36:05 +01:00 |
|
Jonas Jensen
|
8f3998915b
|
Merge pull request #2376 from geoffw0/qhelpms2
CPP: Recommendations and examples for TlsSettingsMisconfiguration.qhelp and UseOfDeprecatedHardCodedProtocol.qhelp
|
2019-11-25 08:17:32 +01:00 |
|
Geoffrey White
|
e274e01432
|
CPP: More consistency.
|
2019-11-22 16:08:00 +00:00 |
|
Geoffrey White
|
8fc59ebac4
|
CPP: I believe these BUG labels were incorrect.
|
2019-11-22 16:07:59 +00:00 |
|
Geoffrey White
|
a1b603e73c
|
CPP: Add the examples to the test.
|
2019-11-22 16:07:59 +00:00 |
|
Geoffrey White
|
3895a7e1f0
|
CPP: Queries: Improve NoSpaceForZeroTerminator query.
|
2019-11-22 15:27:08 +00:00 |
|
Geoffrey White
|
3c9432d7b7
|
CPP: Queries: Improve OverflowCalculated query.
|
2019-11-22 15:19:00 +00:00 |
|
Geoffrey White
|
5f798314d1
|
CPP: Tests: NoSpaceForZeroTerminator test cases for calloc and realloc.
|
2019-11-22 15:18:59 +00:00 |
|
Geoffrey White
|
a2c0532a84
|
CPP: Tests: CWE-120 test cases for calloc, realloc and new.
|
2019-11-22 15:16:32 +00:00 |
|
Geoffrey White
|
d67ea4d768
|
CPP: Tests: AV Rule 79 test cases for calloc, realloc and new.
|
2019-11-22 15:16:32 +00:00 |
|
Geoffrey White
|
7190dd2ef4
|
CPP: Tests: Rearrange a test prior to changes.
|
2019-11-22 15:16:32 +00:00 |
|
Geoffrey White
|
bbe6a1aa76
|
CPP: Additional test case.
|
2019-11-22 15:13:05 +00:00 |
|
Geoffrey White
|
676e8a2c2e
|
Merge pull request #2399 from jbj/ExprHasNoEffect-templates
C++: Suppress ExprHasNoEffect on template code
|
2019-11-21 18:01:41 +00:00 |
|
Geoffrey White
|
e6ea705ff2
|
CPP: Switch from a blacklist to whitelist approach for determining null termination.
|
2019-11-20 15:34:38 +00:00 |
|